/**
  Copyright (c) 2012-2015 "Bordeaux INP, Bertrand LE GAL"
  [http://legal.vvv.enseirb-matmeca.fr]

  This file is part of LDPC_C_Simulator.

  LDPC_C_Simulator is free software: you can redistribute it and/or modify
  it under the terms of the GNU General Public License as published by
  the Free Software Foundation, either version 3 of the License, or
  (at your option) any later version.

  This program is distributed in the hope that it will be useful,
  but WITHOUT ANY WARRANTY; without even the implied warranty of
  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  GNU General Public License for more details.

  You should have received a copy of the GNU General Public License
  along with this program.  If not, see <http://www.gnu.org/licenses/>.
*/

#ifndef CONSTANTES
#define CONSTANTES

#include <math.h>

#define NB_DEGRES            1

#define _N                   2048 // Nombre de Variables
#define _K                   384 // Nombre de Checks   
#define _M                   12288 // Nombre de Messages 

#define NOEUD   _N
#define MESSAGE _M

#define NmoinsK     (_N-_K)

#define DEG_1                32

#define DEG_1_COMPUTATIONS   384

#define NB_ITERATIONS        20
#define NB_BITS_VARIABLES    8 //8
#define NB_BITS_MESSAGES     6 //6
#define SAT_POS_VAR  ( (0x0001<<(NB_BITS_VARIABLES-1))-1)
#define SAT_NEG_VAR  (-(0x0001<<(NB_BITS_VARIABLES-1))+1)
#define SAT_POS_MSG  ( (0x0001<<(NB_BITS_MESSAGES -1))-1)
#define SAT_NEG_MSG  (-(0x0001<<(NB_BITS_MESSAGES -1))+1)

//static float  beta         = 0.15;
//static int    FACTEUR_BETA = (0x0001<<(NB_BITS_MESSAGES/2));
//static int    BETA_FIX; //     = ((int)(FACTEUR_BETA*beta))

#endif


#ifndef _PosNoeudsVariable_
#define _PosNoeudsVariable_
const unsigned short PosNoeudsVariable[12288] ={
/* msg =      0, deg = 32 */      0,     72,     77,     91,    125,    126,    130,    234,    235,    236,    237,    238,    239,    240,    241,    242,    243,    244,    245,    246,    247,    248,   1408,   1472,   1536,   1600,   1664,   1728,   1792,   1856,   1920,   1984, 
/* msg =      1, deg = 32 */      1,     67,    201,    368,    407,    488,    547,    577,    629,    642,    682,    756,    802,    860,    922,   1022,   1082,   1104,   1171,   1266,   1309,   1364,   1427,   1499,   1541,   1659,   1712,   1780,   1843,   1857,   1948,   1985, 
/* msg =      2, deg = 32 */      2,     71,    329,    355,    388,    430,    467,    517,    617,    663,    747,    775,    833,    888,    948,   1023,   1079,   1120,   1190,   1255,   1338,   1384,   1446,   1526,   1546,   1653,   1699,   1771,   1829,   1858,   1976,   1986, 
/* msg =      3, deg = 32 */      3,     65,    299,    328,    415,    486,    513,    522,    593,    686,    725,    768,    782,    883,    939,   1021,   1069,   1091,   1167,   1229,   1335,   1363,   1423,   1519,   1556,   1641,   1669,   1749,   1801,   1860,   1971,   1988, 
/* msg =      4, deg = 32 */      4,     97,    265,    272,    446,    463,    532,    610,    648,    671,    746,    796,    869,    917,   1017,   1049,   1088,   1094,   1182,   1242,   1325,   1382,   1438,   1501,   1576,   1617,   1674,   1770,   1810,   1864,   1957,   1992, 
/* msg =      5, deg = 32 */      5,    143,    194,    340,    386,    447,    478,    552,    583,    656,    702,    727,    824,    841,    938,   1009,   1074,   1100,   1212,   1268,   1305,   1359,   1468,   1530,   1555,   1634,   1684,   1751,   1828,   1872,   1929,   2000, 
/* msg =      6, deg = 32 */      6,    112,    166,    360,    445,    450,    508,    531,    590,    592,    703,    750,    819,    850,    919,    993,   1063,   1112,   1211,   1259,   1330,   1374,   1467,   1527,   1574,   1607,   1704,   1774,   1803,   1888,   1938,   2016, 
/* msg =      7, deg = 32 */      7,    129,    142,    190,    339,    441,    507,    550,    604,    701,    735,    772,    805,    868,    942,    961,   1037,   1136,   1205,   1237,   1319,   1404,   1461,   1517,   1551,   1614,   1683,   1759,   1814,   1859,   1956,   1987, 
/* msg =      8, deg = 32 */      8,    131,    156,    200,    358,    433,    501,    527,    632,    697,    766,    777,    784,    843,    927,    962,   1050,   1123,   1193,   1258,   1293,   1403,   1449,   1497,   1566,   1628,   1702,   1790,   1836,   1862,   1931,   1990, 
/* msg =      9, deg = 32 */      9,    100,    137,    211,    221,    335,    417,    489,    542,    627,    689,    767,    786,    854,    958,    964,   1076,   1093,   1169,   1239,   1306,   1397,   1425,   1522,   1596,   1656,   1679,   1791,   1819,   1868,   1942,   1996, 
/* msg =     10, deg = 32 */     10,    138,    195,    202,    261,    300,    350,    465,    572,    613,    673,    765,    804,    876,    959,    968,   1067,   1098,   1186,   1262,   1332,   1385,   1442,   1511,   1595,   1651,   1694,   1789,   1846,   1880,   1964,   2008, 
/* msg =     11, deg = 32 */     11,    259,    270,    274,    310,    380,    482,    528,    571,    576,    585,    761,    779,    859,    957,    976,   1045,   1108,   1159,   1247,   1323,   1361,   1415,   1485,   1589,   1637,   1724,   1785,   1839,   1904,   1947,   2032, 
/* msg =     12, deg = 32 */     12,     82,    140,    213,    276,    294,    379,    416,    455,    565,    594,    753,    790,    886,    953,    992,   1066,   1128,   1166,   1278,   1301,   1378,   1422,   1498,   1577,   1609,   1723,   1777,   1821,   1891,   1974,   2019, 
/* msg =     13, deg = 32 */     13,     64,    147,    277,    295,    373,    452,    462,    553,    612,    737,    812,    879,    896,    945,    963,   1047,   1107,   1180,   1279,   1322,   1351,   1436,   1524,   1553,   1618,   1717,   1761,   1850,   1861,   1967,   1989, 
/* msg =     14, deg = 32 */     14,    128,    203,    296,    301,    307,    316,    361,    476,    529,    587,    795,    861,    929,    966,   1070,   1126,   1208,   1277,   1303,   1344,   1358,   1464,   1515,   1570,   1636,   1705,   1729,   1847,   1866,   1949,   1994, 
/* msg =     15, deg = 32 */     15,     89,    197,    284,    315,    322,    337,    504,    544,    546,    584,    598,    822,    890,    897,    972,   1055,   1103,   1203,   1273,   1326,   1372,   1459,   1493,   1543,   1611,   1681,   1730,   1837,   1876,   1978,   2004, 
/* msg =     16, deg = 32 */     16,     88,    161,    185,    249,    317,    318,    354,    387,    499,    519,    620,    815,    887,    898,    984,   1086,   1118,   1189,   1265,   1311,   1400,   1445,   1514,   1550,   1622,   1698,   1732,   1817,   1896,   1975,   2024, 
/* msg =     17, deg = 32 */     17,    153,    229,    255,    302,    311,    327,    485,    526,    603,    643,    797,    832,    877,    900,   1008,   1087,   1148,   1161,   1249,   1342,   1395,   1417,   1495,   1564,   1644,   1671,   1736,   1842,   1875,   1965,   2003, 
/* msg =     18, deg = 32 */     18,    134,    228,    230,    275,    334,    457,    540,    630,    646,    706,    720,    826,    857,    904,    995,   1085,   1147,   1170,   1217,   1343,   1381,   1426,   1518,   1592,   1627,   1678,   1744,   1831,   1894,   1945,   2022, 
/* msg =     19, deg = 32 */     19,     78,    266,    267,    306,    330,    348,    408,    568,    623,    652,    736,    823,    882,    912,    965,   1081,   1141,   1188,   1218,   1341,   1353,   1444,   1503,   1587,   1654,   1692,   1760,   1805,   1871,   1970,   1999, 
/* msg =     20, deg = 32 */     20,    148,    196,    212,    376,    394,    432,    484,    563,    605,    664,    707,    813,    871,    928,    970,   1073,   1129,   1163,   1220,   1337,   1362,   1419,   1534,   1573,   1647,   1720,   1731,   1818,   1886,   1959,   2014, 
/* msg =     21, deg = 32 */     21,    158,    198,    371,    385,    419,    459,    549,    634,    688,    705,    710,    793,    845,    899,    980,   1057,   1105,   1174,   1224,   1329,   1380,   1430,   1535,   1545,   1629,   1715,   1734,   1844,   1916,   1933,   2044, 
/* msg =     22, deg = 32 */     22,     94,    107,    204,    357,    389,    456,    470,    521,    631,    675,    716,    818,    858,    902,   1000,   1025,   1122,   1196,   1232,   1313,   1355,   1452,   1533,   1554,   1658,   1701,   1740,   1835,   1915,   1946,   2043, 
/* msg =     23, deg = 32 */     23,     75,    150,    262,    273,    278,    492,    530,    621,    641,    645,    728,    807,    884,    908,    979,   1026,   1095,   1179,   1248,   1281,   1366,   1435,   1529,   1572,   1655,   1673,   1752,   1813,   1909,   1972,   2037, 
/* msg =     24, deg = 32 */     24,     80,    336,    338,    404,    424,    475,    548,    601,    650,    752,    781,    875,    920,    998,   1024,   1028,   1102,   1206,   1219,   1282,   1388,   1462,   1521,   1547,   1645,   1682,   1776,   1834,   1897,   1963,   2025, 
/* msg =     25, deg = 32 */     25,    167,    193,    303,    356,    448,    464,    502,    523,    626,    660,    739,    794,    853,    944,    975,   1032,   1116,   1199,   1222,   1284,   1371,   1455,   1505,   1558,   1625,   1700,   1763,   1815,   1873,   1941,   2001, 
/* msg =     26, deg = 32 */     26,     76,    144,    218,    331,    403,    495,    534,    608,    615,    680,    709,    820,    874,    931,    990,   1040,   1144,   1181,   1228,   1288,   1398,   1437,   1473,   1580,   1650,   1675,   1733,   1838,   1890,   1962,   2018, 
/* msg =     27, deg = 32 */     27,     66,    207,    342,    352,    422,    477,    556,    589,    659,    712,    714,    811,    855,    901,   1020,   1056,   1139,   1210,   1240,   1296,   1391,   1466,   1474,   1563,   1639,   1686,   1738,   1823,   1863,   1943,   1991, 
/* msg =     28, deg = 32 */     28,     83,    132,    209,    364,    399,    400,    506,    539,    602,    678,    724,    789,    878,    906,   1019,   1027,   1125,   1207,   1264,   1312,   1373,   1463,   1476,   1590,   1613,   1708,   1748,   1854,   1870,   1966,   1998, 
/* msg =     29, deg = 32 */     29,    106,    269,    347,    414,    458,    503,    566,    628,    640,    655,    744,    810,    863,    916,   1013,   1030,   1097,   1197,   1251,   1283,   1402,   1453,   1480,   1583,   1626,   1691,   1768,   1855,   1884,   1951,   2012, 
/* msg =     30, deg = 32 */     30,    124,    224,    257,    374,    444,    466,    493,    559,    619,    670,    723,    791,    894,    936,   1001,   1036,   1106,   1177,   1221,   1286,   1399,   1433,   1488,   1565,   1652,   1718,   1747,   1853,   1912,   1982,   2040, 
/* msg =     31, deg = 32 */     31,    159,    210,    254,    367,    443,    473,    541,    597,    644,    700,    742,    814,    895,    915,    977,   1048,   1124,   1202,   1226,   1292,   1389,   1458,   1504,   1594,   1643,   1711,   1766,   1849,   1907,   1983,   2035, 
/* msg =     32, deg = 32 */     32,     70,    186,    252,    264,    349,    437,    498,    570,    618,    699,    719,    799,    893,    934,    994,   1072,   1099,   1191,   1236,   1304,   1369,   1447,   1475,   1591,   1621,   1693,   1743,   1841,   1893,   1981,   2021, 
/* msg =     33, deg = 32 */     33,    135,    189,    253,    378,    425,    449,    487,    567,    599,    693,    734,    830,    889,    911,    967,   1059,   1110,   1165,   1256,   1328,   1394,   1421,   1478,   1581,   1642,   1722,   1758,   1825,   1865,   1977,   1993, 
/* msg =     34, deg = 32 */     34,     81,    192,    251,    375,    401,    461,    520,    557,    622,    681,    764,    831,    881,    926,    974,   1029,   1132,   1178,   1235,   1315,   1383,   1434,   1484,   1561,   1623,   1719,   1788,   1793,   1874,   1969,   2002, 
/* msg =     35, deg = 32 */     35,     96,    325,    365,    418,    474,    537,    607,    657,    763,    770,    829,    865,    956,    988,   1034,   1115,   1204,   1216,   1254,   1285,   1357,   1460,   1496,   1586,   1646,   1709,   1787,   1794,   1892,   1953,   2020, 
/* msg =     36, deg = 32 */     36,    136,    141,    323,    345,    391,    392,    500,    562,    638,    674,    757,    825,    834,    955,   1016,   1044,   1142,   1195,   1231,   1290,   1370,   1451,   1520,   1575,   1631,   1689,   1781,   1796,   1867,   1921,   1995, 
/* msg =     37, deg = 32 */     37,    101,    117,    133,    320,    332,    370,    398,    491,    551,    639,    647,    745,    817,    949,   1011,   1064,   1135,   1173,   1246,   1300,   1396,   1429,   1507,   1549,   1662,   1714,   1769,   1800,   1878,   1922,   2006, 
/* msg =     38, deg = 32 */     38,    109,    116,    359,    384,    412,    420,    469,    525,    637,    654,    721,    801,    836,    937,    997,   1043,   1117,   1194,   1276,   1320,   1387,   1450,   1477,   1562,   1663,   1703,   1745,   1808,   1900,   1924,   2028, 
/* msg =     39, deg = 32 */     39,     93,    114,    258,    319,    333,    390,    440,    490,    538,    633,    668,    738,    840,    913,    969,   1062,   1146,   1175,   1275,   1299,   1365,   1431,   1482,   1588,   1661,   1677,   1762,   1824,   1883,   1928,   2011, 
/* msg =     40, deg = 32 */     40,    108,    171,    260,    324,    346,    435,    471,    514,    564,    625,    696,    711,    848,    930,    978,   1039,   1143,   1198,   1269,   1318,   1386,   1454,   1492,   1579,   1657,   1690,   1735,   1795,   1910,   1936,   2038, 
/* msg =     41, deg = 32 */     41,    118,    160,    169,    297,    372,    421,    494,    555,    609,    691,    708,    718,    864,    903,    996,   1054,   1133,   1183,   1257,   1295,   1367,   1439,   1512,   1557,   1649,   1716,   1742,   1798,   1903,   1952,   2031, 
/* msg =     42, deg = 32 */     42,    145,    165,    292,    326,    363,    393,    479,    533,    677,    732,    769,    776,    835,    910,    971,   1084,   1113,   1214,   1233,   1310,   1390,   1470,   1491,   1578,   1633,   1707,   1756,   1804,   1885,   1923,   2013, 
/* msg =     43, deg = 32 */     43,    122,    123,    139,    288,    321,    341,    402,    510,    554,    649,    672,    760,    838,    924,    982,   1083,   1138,   1215,   1250,   1340,   1375,   1471,   1510,   1559,   1601,   1685,   1784,   1816,   1914,   1926,   2042, 
/* msg =     44, deg = 32 */     44,    104,    111,    115,    279,    291,    362,    511,    516,    535,    658,    755,    800,    844,    952,   1004,   1077,   1127,   1213,   1223,   1339,   1406,   1469,   1487,   1582,   1602,   1706,   1779,   1840,   1911,   1932,   2039, 
/* msg =     45, deg = 32 */     45,    102,    187,    208,    293,    343,    395,    480,    509,    558,    676,    741,    771,    856,    947,    987,   1065,   1101,   1209,   1230,   1333,   1407,   1465,   1502,   1567,   1604,   1687,   1765,   1827,   1901,   1944,   2029, 
/* msg =     46, deg = 32 */     46,     74,    181,    206,    309,    366,    406,    505,    543,    578,    651,    713,    774,    880,    933,   1014,   1041,   1114,   1201,   1244,   1321,   1405,   1457,   1532,   1598,   1608,   1710,   1737,   1797,   1881,   1968,   2009, 
/* msg =     47, deg = 32 */     47,     95,    119,    168,    233,    314,    351,    428,    497,    574,    662,    722,    780,    867,    905,   1007,   1058,   1140,   1185,   1272,   1297,   1401,   1441,   1531,   1599,   1616,   1695,   1746,   1802,   1906,   1955,   2034, 
/* msg =     48, deg = 32 */     48,    155,    163,    215,    382,    411,    481,    575,    579,    684,    704,    740,    792,    837,    914,    989,   1031,   1131,   1153,   1267,   1314,   1393,   1409,   1525,   1597,   1632,   1726,   1764,   1812,   1895,   1925,   2023, 
/* msg =     49, deg = 32 */     49,     68,     73,     92,    113,    282,    383,    438,    573,    582,    667,    715,    816,    842,    932,   1018,   1038,   1109,   1154,   1253,   1287,   1377,   1410,   1513,   1593,   1603,   1727,   1739,   1832,   1869,   1930,   1997, 
/* msg =     50, deg = 32 */     50,    103,    110,    157,    174,    280,    381,    431,    569,    588,    694,    726,    803,    852,    907,   1015,   1052,   1130,   1156,   1225,   1294,   1345,   1412,   1489,   1585,   1606,   1725,   1750,   1811,   1882,   1940,   2010, 
/* msg =     51, deg = 32 */     51,     87,    127,    183,    312,    377,    413,    561,    600,    687,    748,    773,    872,    918,   1005,   1080,   1111,   1152,   1160,   1234,   1308,   1346,   1416,   1506,   1569,   1612,   1721,   1772,   1830,   1908,   1960,   2036, 
/* msg =     52, deg = 32 */     52,    164,    173,    188,    222,    283,    369,    442,    545,    624,    669,    731,    778,    851,    940,    985,   1075,   1134,   1168,   1252,   1336,   1348,   1424,   1479,   1537,   1624,   1713,   1755,   1807,   1899,   1939,   2027, 
/* msg =     53, deg = 32 */     53,     69,    162,    170,    178,    285,    286,    353,    439,    611,    698,    758,    788,    870,    923,   1010,   1061,   1119,   1184,   1227,   1331,   1352,   1440,   1486,   1538,   1648,   1697,   1782,   1822,   1877,   1958,   2005, 
/* msg =     54, deg = 32 */     54,    120,    154,    219,    227,    287,    305,    429,    512,    581,    695,    751,    808,    847,    950,    999,   1033,   1150,   1155,   1238,   1317,   1360,   1411,   1500,   1540,   1635,   1665,   1775,   1852,   1898,   1935,   2026, 
/* msg =     55, deg = 32 */     55,     79,     98,    176,    199,    217,    304,    313,    409,    586,    685,    733,    787,    862,    943,    973,   1042,   1151,   1158,   1260,   1289,   1376,   1414,   1528,   1544,   1605,   1666,   1757,   1851,   1879,   1950,   2007, 
/* msg =     56, deg = 32 */     56,    105,    146,    177,    225,    308,    434,    451,    454,    596,    665,    762,    806,    892,    925,    986,   1060,   1149,   1164,   1243,   1298,   1347,   1420,   1523,   1552,   1610,   1668,   1786,   1845,   1902,   1980,   2030, 
/* msg =     57, deg = 32 */     57,     84,    184,    205,    232,    256,    289,    423,    460,    616,    690,    759,    783,    891,    954,   1012,   1035,   1145,   1176,   1270,   1316,   1350,   1432,   1509,   1568,   1620,   1672,   1783,   1833,   1887,   1979,   2015, 
/* msg =     58, deg = 32 */     58,     86,    180,    191,    250,    290,    397,    472,    580,    595,    679,    749,    798,    885,    951,   1003,   1046,   1137,   1200,   1263,   1291,   1356,   1456,   1481,   1539,   1640,   1680,   1773,   1809,   1918,   1973,   2046, 
/* msg =     59, deg = 32 */     59,    121,    172,    182,    263,    410,    496,    515,    614,    653,    729,    828,    873,    941,    960,    981,   1068,   1121,   1187,   1245,   1302,   1368,   1443,   1490,   1542,   1619,   1696,   1753,   1826,   1919,   1961,   2047, 
/* msg =     60, deg = 32 */     60,    214,    223,    226,    271,    436,    483,    518,    591,    666,    754,    827,    849,    921,   1002,   1051,   1089,   1157,   1274,   1280,   1324,   1392,   1413,   1508,   1548,   1638,   1667,   1778,   1799,   1917,   1937,   2045, 
/* msg =     61, deg = 32 */     61,     85,    151,    175,    220,    268,    427,    453,    524,    606,    692,    743,    821,    866,    946,    983,   1078,   1090,   1162,   1271,   1307,   1379,   1418,   1483,   1560,   1615,   1670,   1767,   1806,   1913,   1954,   2041, 
/* msg =     62, deg = 32 */     62,    149,    179,    216,    231,    281,    298,    405,    536,    636,    683,    717,    809,    839,    935,   1006,   1071,   1092,   1172,   1261,   1334,   1349,   1428,   1494,   1584,   1630,   1676,   1741,   1820,   1905,   1927,   2033, 
/* msg =     63, deg = 32 */     63,     90,     99,    152,    344,    396,    426,    468,    560,    635,    661,    730,    785,    846,    909,    991,   1053,   1096,   1192,   1241,   1327,   1354,   1448,   1516,   1571,   1660,   1688,   1754,   1848,   1889,   1934,   2017, 
/* msg =     64, deg = 32 */      1,     64,    155,    200,    352,    370,    421,    461,    558,    603,    689,    709,    807,    891,    929,    991,   1061,   1141,   1190,   1236,   1289,   1373,   1422,   1493,   1552,   1643,   1691,   1775,   1820,   1885,   1921,   1984, 
/* msg =     65, deg = 32 */      0,     65,    131,    176,    207,    228,    434,    485,    525,    622,    667,    753,    773,    871,    955,    993,   1055,   1125,   1205,   1254,   1300,   1353,   1437,   1486,   1557,   1616,   1707,   1755,   1839,   1884,   1949,   1985, 
/* msg =     66, deg = 32 */      7,     66,    147,    242,    264,    337,    395,    478,    555,    626,    678,    750,    768,    800,    835,    917,    992,   1042,   1109,   1267,   1331,   1397,   1448,   1507,   1562,   1630,   1720,   1732,   1849,   1887,   1977,   1986, 
/* msg =     67, deg = 32 */     13,    129,    375,    388,    416,    442,    491,    548,    577,    586,    671,    720,    809,    840,    906,    994,   1032,   1142,   1193,   1241,   1342,   1358,   1409,   1530,   1540,   1602,   1694,   1786,   1813,   1881,   1970,   1988, 
/* msg =     68, deg = 32 */     33,     68,    209,    280,    330,    376,    411,    570,    633,    686,    708,    751,    827,    862,    948,    998,   1084,   1139,   1208,   1230,   1316,   1403,   1424,   1480,   1592,   1658,   1681,   1733,   1806,   1877,   1956,   1992, 
/* msg =     69, deg = 32 */     25,     69,     79,    101,    358,    410,    467,    516,    518,    604,    655,    722,    799,    882,    907,   1006,   1047,   1145,   1178,   1248,   1296,   1362,   1458,   1519,   1539,   1609,   1679,   1784,   1848,   1869,   1928,   2000, 
/* msg =     70, deg = 32 */     63,     70,    230,    346,    408,    497,    573,    597,    654,    704,    712,    747,    788,    873,    950,   1022,   1026,   1133,   1181,   1279,   1339,   1347,   1461,   1506,   1590,   1644,   1715,   1729,   1815,   1917,   1939,   2016, 
/* msg =     71, deg = 32 */      2,    308,    324,    325,    328,    353,    412,    502,    583,    652,    730,    784,    863,    896,    911,    990,   1064,   1093,   1171,   1217,   1326,   1377,   1467,   1528,   1567,   1637,   1672,   1776,   1802,   1886,   1957,   1987, 
/* msg =     72, deg = 32 */     27,     67,     72,    190,    316,    340,    396,    404,    504,    545,    611,    763,    814,    880,    958,    989,   1087,   1110,   1167,   1278,   1284,   1382,   1447,   1484,   1550,   1655,   1725,   1745,   1840,   1883,   1930,   1990, 
/* msg =     73, deg = 32 */     49,    135,    141,    164,    238,    276,    381,    484,    560,    616,    762,    821,    877,    927,    987,   1041,   1136,   1207,   1219,   1299,   1344,   1384,   1439,   1511,   1580,   1619,   1684,   1744,   1799,   1873,   1943,   1996, 
/* msg =     74, deg = 32 */     46,    121,    145,    205,    212,    279,    315,    364,    476,    530,    638,    760,    771,    855,    926,    983,   1038,   1151,   1156,   1274,   1341,   1396,   1452,   1522,   1579,   1624,   1669,   1746,   1834,   1861,   1965,   2008, 
/* msg =     75, deg = 32 */     62,     75,    111,    171,    217,    334,    423,    495,    533,    594,    688,    764,    812,    864,    924,    975,   1072,   1121,   1185,   1227,   1314,   1356,   1417,   1496,   1573,   1614,   1703,   1750,   1843,   1901,   1946,   2032, 
/* msg =     76, deg = 32 */     26,    134,    252,    273,    281,    417,    513,    539,    585,    691,    756,    770,    817,    845,    920,   1023,   1039,   1117,   1192,   1258,   1308,   1407,   1408,   1487,   1593,   1634,   1696,   1758,   1793,   1918,   1975,   2019, 
/* msg =     77, deg = 32 */      3,    130,    142,    304,    327,    329,    429,    519,    608,    639,    693,    740,    779,    852,    912,    988,   1074,   1126,   1210,   1259,   1315,   1370,   1426,   1505,   1537,   1657,   1710,   1742,   1830,   1880,   1966,   1989, 
/* msg =     78, deg = 32 */     36,     73,     78,    137,    246,    309,    318,    347,    437,    465,    480,    575,    697,    828,    870,    985,   1035,   1107,   1182,   1257,   1310,   1363,   1462,   1534,   1586,   1615,   1714,   1774,   1835,   1879,   1948,   1994, 
/* msg =     79, deg = 32 */     53,    153,    193,    251,    323,    355,    389,    501,    524,    589,    644,    673,    711,    785,    928,    979,   1082,   1146,   1173,   1261,   1319,   1345,   1469,   1472,   1559,   1632,   1674,   1773,   1841,   1865,   1979,   2004, 
/* msg =     80, deg = 32 */     24,    160,    180,    187,    266,    296,    422,    451,    510,    553,    631,    657,    776,    844,    931,    967,   1051,   1131,   1155,   1253,   1302,   1381,   1451,   1535,   1566,   1661,   1721,   1771,   1797,   1909,   1974,   2024, 
/* msg =     81, deg = 32 */     34,    133,    162,    183,    197,    236,    290,    373,    419,    488,    690,    717,    826,    854,    933,   1007,   1050,   1097,   1199,   1269,   1335,   1390,   1415,   1474,   1548,   1607,   1692,   1767,   1838,   1870,   1964,   2003, 
/* msg =     82, deg = 32 */     48,     82,     90,    166,    312,    380,    425,    562,    621,    642,    695,    725,    797,    866,    937,   1020,   1048,   1102,   1204,   1237,   1334,   1400,   1436,   1531,   1576,   1648,   1685,   1791,   1851,   1915,   1944,   2022, 
/* msg =     83, deg = 32 */     28,    128,    161,    243,    253,    265,    321,    366,    445,    479,    534,    628,    701,    741,    841,    945,    986,   1052,   1154,   1238,   1332,   1364,   1450,   1482,   1571,   1629,   1671,   1743,   1809,   1874,   1971,   1999, 
/* msg =     84, deg = 32 */     57,    202,    220,    258,    272,    405,    489,    541,    578,    582,    681,    710,    778,    860,    897,    981,   1044,   1116,   1197,   1232,   1328,   1359,   1413,   1515,   1589,   1604,   1699,   1772,   1798,   1859,   1958,   2014, 
/* msg =     85, deg = 32 */     60,     85,     94,    120,    122,    302,    310,    390,    454,    523,    609,    707,    830,    886,    930,    971,   1028,   1124,   1200,   1244,   1336,   1401,   1432,   1514,   1561,   1654,   1704,   1769,   1832,   1889,   1932,   2044, 
/* msg =     86, deg = 32 */     43,     86,    158,    284,    343,    458,    475,    551,    620,    658,    713,    789,    865,    935,   1015,   1060,   1111,   1162,   1220,   1280,   1320,   1366,   1442,   1512,   1538,   1617,   1726,   1763,   1847,   1894,   1947,   2043, 
/* msg =     87, deg = 32 */     51,    168,    248,    254,    259,    379,    431,    481,    520,    572,    630,    692,    733,    847,    941,    972,   1063,   1138,   1213,   1268,   1288,   1355,   1429,   1516,   1588,   1628,   1682,   1783,   1801,   1896,   1973,   2037, 
/* msg =     88, deg = 32 */     16,    146,    169,    182,    288,    384,    400,    433,    470,    522,    699,    757,    810,    848,    953,   1017,   1057,   1147,   1168,   1239,   1291,   1393,   1464,   1508,   1563,   1606,   1673,   1759,   1846,   1908,   1962,   2025, 
/* msg =     89, deg = 32 */      5,     89,    117,    199,    342,    397,    507,    514,    549,    617,    677,    742,    829,    878,    913,    976,   1069,   1129,   1161,   1234,   1293,   1350,   1441,   1524,   1542,   1650,   1727,   1740,   1803,   1868,   1940,   2001, 
/* msg =     90, deg = 32 */     12,    186,    215,    237,    377,    438,    452,    482,    568,    636,    665,    787,    849,    898,    961,   1077,   1101,   1211,   1216,   1240,   1281,   1387,   1427,   1492,   1596,   1625,   1680,   1770,   1842,   1919,   1963,   2018, 
/* msg =     91, deg = 32 */      8,     71,     77,    201,    285,    287,    356,    387,    592,    598,    674,    719,    780,    876,    932,    995,   1029,   1094,   1180,   1228,   1305,   1394,   1460,   1495,   1547,   1612,   1677,   1765,   1795,   1882,   1942,   1991, 
/* msg =     92, deg = 32 */     19,    189,    239,    292,    350,    424,    426,    503,    565,    663,    721,    818,    834,    853,    939,    996,   1062,   1088,   1104,   1169,   1252,   1321,   1465,   1489,   1574,   1638,   1719,   1787,   1826,   1875,   1967,   1998, 
/* msg =     93, deg = 32 */     42,     74,     93,    157,    361,    443,    456,    506,    536,    623,    702,    749,    781,    868,    949,   1002,   1059,   1148,   1163,   1271,   1290,   1383,   1443,   1501,   1599,   1649,   1664,   1735,   1827,   1857,   1950,   2012, 
/* msg =     94, deg = 32 */     61,    172,    177,    223,    232,    250,    286,    305,    409,    624,    687,    726,    816,    837,    905,   1014,   1065,   1127,   1215,   1233,   1295,   1386,   1431,   1477,   1549,   1631,   1709,   1788,   1825,   1893,   1983,   2040, 
/* msg =     95, deg = 32 */     47,    127,    260,    262,    349,    414,    468,    563,    584,    590,    653,    739,    777,    836,    946,    974,   1085,   1105,   1172,   1246,   1285,   1392,   1468,   1525,   1578,   1600,   1716,   1737,   1829,   1902,   1982,   2035, 
/* msg =     96, deg = 32 */     35,    144,    213,    241,    301,    367,    450,    511,    532,    625,    650,    714,    824,    833,    838,    903,   1021,   1045,   1150,   1153,   1297,   1348,   1449,   1494,   1575,   1662,   1670,   1760,   1837,   1912,   1980,   2021, 
/* msg =     97, deg = 32 */      4,    132,    184,    211,    225,    267,    275,    295,    320,    490,    537,    588,    731,    793,    942,    984,   1030,   1123,   1195,   1276,   1337,   1391,   1411,   1491,   1597,   1601,   1697,   1777,   1853,   1876,   1976,   1993, 
/* msg =     98, deg = 32 */     17,     98,    170,    235,    299,    436,    515,    544,    629,    641,    664,    761,    792,    842,    959,    977,   1056,   1113,   1212,   1223,   1322,   1402,   1428,   1497,   1545,   1660,   1708,   1747,   1821,   1871,   1968,   2002, 
/* msg =     99, deg = 32 */     32,    140,    152,    218,    291,    317,    351,    391,    471,    567,    766,    772,    794,    858,    925,    963,   1071,   1134,   1170,   1266,   1292,   1360,   1466,   1485,   1570,   1605,   1718,   1748,   1822,   1913,   1952,   2020, 
/* msg =    100, deg = 32 */     14,     83,     92,    100,    363,    418,    420,    505,    540,    613,    659,    752,    798,    890,    922,    999,   1073,   1091,   1165,   1243,   1283,   1351,   1445,   1509,   1591,   1652,   1666,   1754,   1816,   1878,   1920,   1995, 
/* msg =    101, deg = 32 */     55,    126,    167,    231,    255,    386,    427,    486,    521,    612,    694,    748,    790,    889,    916,   1004,   1037,   1114,   1203,   1226,   1309,   1385,   1435,   1526,   1565,   1621,   1705,   1734,   1812,   1867,   1923,   2006, 
/* msg =    102, deg = 32 */     45,     80,    173,    227,    341,    392,    441,    472,    547,    614,    703,    724,    774,    895,    904,   1018,   1078,   1128,   1164,   1256,   1313,   1398,   1444,   1488,   1546,   1620,   1724,   1790,   1804,   1905,   1925,   2028, 
/* msg =    103, deg = 32 */     50,    165,    196,    269,    383,    385,    413,    487,    564,    610,    685,    743,    806,    883,    944,    982,   1027,   1103,   1201,   1263,   1306,   1352,   1433,   1503,   1572,   1622,   1686,   1741,   1852,   1862,   1929,   2011, 
/* msg =    104, deg = 32 */     44,    159,    216,    322,    360,    406,    464,    474,    538,    576,    618,    649,    805,    875,    899,    973,   1066,   1090,   1160,   1249,   1327,   1399,   1440,   1473,   1595,   1618,   1665,   1768,   1823,   1899,   1937,   2038, 
/* msg =    105, deg = 32 */     56,    125,    185,    268,    294,    483,    512,    517,    634,    648,    715,    803,    859,    934,   1019,   1024,   1083,   1112,   1209,   1277,   1286,   1354,   1425,   1533,   1541,   1626,   1711,   1761,   1818,   1906,   1953,   2031, 
/* msg =    106, deg = 32 */     29,    110,    114,    195,    306,    345,    428,    571,    602,    660,    672,    729,    815,    888,    943,    980,   1049,   1132,   1176,   1221,   1303,   1395,   1456,   1478,   1594,   1610,   1712,   1779,   1808,   1856,   1922,   2013, 
/* msg =    107, deg = 32 */     22,    214,    263,    313,    359,    439,    499,    601,    696,    705,    765,    769,    823,    893,    957,    969,   1054,   1095,   1177,   1270,   1333,   1346,   1457,   1523,   1543,   1642,   1678,   1751,   1796,   1895,   1927,   2042, 
/* msg =    108, deg = 32 */     40,     95,    179,    300,    344,    498,    528,    569,    607,    656,    675,    758,    775,    887,    921,   1011,   1040,   1106,   1179,   1235,   1330,   1379,   1459,   1498,   1598,   1641,   1713,   1756,   1836,   1898,   1933,   2039, 
/* msg =    109, deg = 32 */     38,     88,    154,    222,    234,    357,    430,    496,    529,    595,    661,    736,    804,    867,    914,    964,   1036,   1144,   1183,   1242,   1340,   1378,   1463,   1483,   1551,   1647,   1676,   1738,   1855,   1904,   1945,   2029, 
/* msg =    110, deg = 32 */     10,    106,    148,    256,    348,    435,    500,    561,    580,    587,    698,    716,    801,    843,    900,   1001,   1076,   1135,   1175,   1224,   1312,   1376,   1471,   1513,   1582,   1635,   1717,   1766,   1817,   1860,   1969,   2009, 
/* msg =    111, deg = 32 */     31,    104,    150,    178,    289,    365,    393,    508,    635,    679,    727,    811,    856,    936,   1008,   1031,   1089,   1152,   1159,   1260,   1304,   1380,   1455,   1518,   1583,   1659,   1668,   1789,   1814,   1903,   1954,   2034, 
/* msg =    112, deg = 32 */     18,     76,     91,     99,    112,    298,    307,    446,    492,    600,    669,    737,    831,    894,    947,    962,   1058,   1118,   1191,   1255,   1323,   1388,   1423,   1504,   1581,   1611,   1701,   1739,   1800,   1914,   1924,   2023, 
/* msg =    113, deg = 32 */      9,     97,    136,    203,    219,    333,    403,    460,    531,    605,    682,    718,    791,    881,    901,    997,   1067,   1120,   1188,   1265,   1294,   1404,   1420,   1532,   1577,   1640,   1700,   1764,   1844,   1872,   1931,   1997, 
/* msg =    114, deg = 32 */     39,     84,    226,    278,    297,    326,    335,    463,    535,    599,    640,    647,    723,    879,    938,   1000,   1081,   1119,   1186,   1245,   1287,   1372,   1418,   1476,   1569,   1645,   1702,   1785,   1807,   1863,   1941,   2010, 
/* msg =    115, deg = 32 */     23,    149,    210,    229,    233,    331,    440,    457,    543,    579,    670,    745,    802,    851,    951,   1010,   1053,   1122,   1198,   1222,   1301,   1375,   1414,   1527,   1585,   1639,   1698,   1731,   1850,   1897,   1961,   2036, 
/* msg =    116, deg = 32 */     54,    105,    109,    208,    221,    271,    415,    453,    527,    619,    684,    734,    813,    872,    909,    966,   1046,   1115,   1206,   1264,   1329,   1369,   1438,   1490,   1553,   1651,   1706,   1780,   1811,   1910,   1938,   2027, 
/* msg =    117, deg = 32 */     15,    119,    192,    194,    244,    339,    402,    477,    559,    632,    651,    755,    819,    832,    861,    954,   1005,   1130,   1158,   1247,   1338,   1365,   1454,   1499,   1554,   1627,   1722,   1753,   1794,   1864,   1959,   2005, 
/* msg =    118, deg = 32 */     52,    102,    113,    116,    118,    277,    371,    493,    556,    606,    646,    746,    783,    884,    919,   1016,   1068,   1099,   1189,   1218,   1324,   1357,   1421,   1481,   1556,   1608,   1690,   1728,   1824,   1911,   1934,   2026, 
/* msg =    119, deg = 32 */     37,     81,    143,    240,    270,    368,    444,    448,    462,    554,    593,    668,    728,    820,    869,    910,    978,   1079,   1098,   1184,   1272,   1405,   1416,   1517,   1560,   1646,   1689,   1778,   1831,   1866,   1951,   2007, 
/* msg =    120, deg = 32 */     41,    188,    249,    319,    336,    374,    407,    449,    459,    550,    591,    680,    767,    839,    956,    965,   1025,   1096,   1194,   1231,   1307,   1374,   1410,   1510,   1536,   1633,   1695,   1749,   1833,   1907,   1981,   2030, 
/* msg =    121, deg = 32 */     20,    103,    138,    206,    247,    274,    282,    378,    466,    574,    627,    643,    754,    808,    923,   1003,   1070,   1100,   1214,   1250,   1325,   1371,   1430,   1520,   1584,   1663,   1683,   1752,   1845,   1858,   1978,   2015, 
/* msg =    122, deg = 32 */     59,    107,    151,    181,    224,    293,    303,    354,    469,    526,    662,    744,    825,    846,    918,   1012,   1075,   1092,   1174,   1275,   1282,   1361,   1470,   1500,   1555,   1603,   1675,   1730,   1805,   1891,   1972,   2046, 
/* msg =    123, deg = 32 */     58,    124,    139,    175,    261,    338,    447,    509,    557,    637,    700,    732,    795,    850,    908,    970,   1033,   1108,   1157,   1225,   1311,   1349,   1453,   1479,   1558,   1656,   1723,   1782,   1854,   1890,   1960,   2047, 
/* msg =    124, deg = 32 */     21,    123,    174,    204,    257,    369,    401,    494,    552,    596,    683,    759,    796,    874,    952,   1013,   1086,   1140,   1187,   1262,   1317,   1389,   1419,   1521,   1564,   1613,   1688,   1757,   1819,   1888,   1936,   2045, 
/* msg =    125, deg = 32 */     30,    191,    198,    283,    372,    394,    398,    546,    581,    645,    738,    786,    857,    915,    960,    968,   1043,   1143,   1196,   1251,   1298,   1406,   1412,   1502,   1544,   1636,   1693,   1736,   1810,   1892,   1955,   2041, 
/* msg =    126, deg = 32 */     11,     87,    108,    115,    311,    332,    382,    432,    455,    566,    615,    666,    782,    892,    902,   1009,   1034,   1137,   1202,   1273,   1343,   1368,   1434,   1475,   1568,   1653,   1687,   1762,   1792,   1900,   1926,   2033, 
/* msg =    127, deg = 32 */     62,     95,    192,    282,    292,    364,    388,    417,    525,    529,    657,    713,    826,    876,    901,    998,   1046,   1103,   1171,   1238,   1337,   1363,   1421,   1523,   1583,   1618,   1698,   1783,   1841,   1912,   1950,   2017, 
/* msg =    128, deg = 32 */      2,    113,    128,    132,    137,    359,    393,    474,    543,    630,    673,    714,    781,    885,    897,   1022,   1033,   1129,   1167,   1256,   1298,   1402,   1436,   1514,   1568,   1621,   1718,   1757,   1848,   1914,   1922,   1984, 
/* msg =    129, deg = 32 */      7,     92,    221,    245,    330,    343,    414,    498,    572,    579,    651,    766,    815,    834,    873,    923,   1075,   1145,   1180,   1242,   1295,   1390,   1423,   1521,   1573,   1646,   1670,   1769,   1803,   1915,   1950,   1985, 
/* msg =    130, deg = 32 */      0,     97,    100,    177,    209,    266,    423,    457,    538,    607,    694,    737,    778,    845,    949,    961,   1086,   1097,   1193,   1231,   1320,   1362,   1466,   1500,   1578,   1632,   1685,   1782,   1821,   1912,   1978,   1986, 
/* msg =    131, deg = 32 */      8,     83,    203,    242,    354,    406,    449,    508,    533,    615,    655,    735,    771,    838,    938,    963,   1060,   1088,   1130,   1253,   1317,   1385,   1427,   1477,   1588,   1660,   1715,   1736,   1841,   1918,   1969,   1988, 
/* msg =    132, deg = 32 */     14,     71,    131,    365,    439,    452,    469,    523,    596,    702,    736,    768,    785,    848,    916,    967,   1040,   1135,   1169,   1266,   1343,   1372,   1410,   1527,   1544,   1604,   1724,   1783,   1834,   1906,   1959,   1992, 
/* msg =    133, deg = 32 */     34,    103,    148,    312,    371,    438,    567,    625,    640,    671,    733,    769,    821,    892,    939,    975,   1083,   1125,   1203,   1244,   1291,   1397,   1440,   1488,   1587,   1655,   1698,   1738,   1820,   1898,   1931,   2000, 
/* msg =    134, deg = 32 */     26,    116,    146,    335,    436,    480,    486,    512,    524,    632,    670,    740,    830,    871,    918,    991,   1070,   1137,   1204,   1219,   1312,   1380,   1447,   1501,   1542,   1618,   1694,   1779,   1843,   1882,   1936,   2016, 
/* msg =    135, deg = 32 */      1,     73,    135,    267,    372,    400,    432,    481,    569,    618,    668,    725,    808,    849,    943,   1023,   1028,   1113,   1210,   1277,   1333,   1350,   1449,   1479,   1583,   1627,   1701,   1730,   1838,   1913,   1958,   1987, 
/* msg =    136, deg = 32 */      3,    120,    211,    265,    289,    297,    392,    440,    495,    590,    664,    756,    894,    926,   1020,   1043,   1098,   1190,   1218,   1311,   1344,   1345,   1461,   1523,   1598,   1609,   1680,   1763,   1812,   1916,   1929,   1990, 
/* msg =    137, deg = 32 */     28,     72,    286,    303,    315,    329,    360,    499,    581,    642,    757,    784,    799,    867,    959,   1018,   1085,   1132,   1182,   1279,   1288,   1359,   1421,   1496,   1564,   1645,   1721,   1762,   1827,   1910,   1940,   1996, 
/* msg =    138, deg = 32 */     50,     81,    117,    178,    238,    277,    377,    459,    544,    547,    595,    759,    809,    857,    958,   1014,   1058,   1123,   1197,   1222,   1318,   1363,   1470,   1485,   1563,   1638,   1704,   1760,   1806,   1890,   1966,   2008, 
/* msg =    139, deg = 32 */     47,    139,    191,    226,    317,    347,    395,    504,    548,    639,    705,    755,    774,    878,    956,   1006,   1052,   1149,   1160,   1271,   1337,   1387,   1435,   1511,   1557,   1648,   1674,   1764,   1815,   1866,   1945,   2032, 
/* msg =    140, deg = 32 */     63,     80,    102,    169,    225,    348,    397,    477,    554,    612,    675,    763,    795,    835,    952,    990,   1059,   1089,   1153,   1238,   1287,   1368,   1426,   1520,   1545,   1628,   1677,   1772,   1829,   1881,   1972,   2019, 
/* msg =    141, deg = 32 */     27,     78,    141,    253,    300,    338,    468,    566,    594,    648,    677,    747,    801,    858,    944,   1021,   1054,   1146,   1171,   1239,   1336,   1405,   1408,   1502,   1585,   1607,   1667,   1788,   1794,   1919,   1965,   1989, 
/* msg =    142, deg = 32 */      4,    130,    200,    328,    334,    409,    454,    526,    637,    681,    712,    715,    790,    872,    928,   1016,   1063,   1103,   1207,   1237,   1285,   1396,   1444,   1473,   1538,   1649,   1695,   1756,   1807,   1904,   1951,   1994, 
/* msg =    143, deg = 32 */     37,    110,    181,    196,    202,    246,    311,    314,    374,    425,    482,    573,    689,    827,    847,   1010,   1046,   1126,   1212,   1233,   1340,   1382,   1455,   1535,   1575,   1630,   1703,   1759,   1813,   1902,   1976,   2004, 
/* msg =    144, deg = 32 */     54,     76,    264,    278,    299,    310,    320,    489,    536,    602,    706,    718,    802,    899,    998,   1079,   1143,   1194,   1216,   1241,   1293,   1346,   1465,   1472,   1582,   1603,   1684,   1753,   1825,   1874,   1973,   2024, 
/* msg =    145, deg = 32 */     25,     74,    182,    256,    307,    321,    322,    326,    394,    399,    511,    621,    674,    856,    901,    974,   1078,   1109,   1158,   1225,   1324,   1353,   1429,   1533,   1596,   1657,   1713,   1749,   1802,   1897,   1967,   2003, 
/* msg =    146, deg = 32 */     35,    164,    185,    227,    236,    361,    384,    389,    467,    515,    679,    730,    823,    876,    905,    989,   1076,   1106,   1181,   1257,   1325,   1375,   1422,   1476,   1560,   1614,   1720,   1741,   1823,   1884,   1947,   2022, 
/* msg =    147, deg = 32 */     49,     64,     67,    142,    283,    379,    401,    551,    601,    685,    746,    826,    833,    839,    913,   1019,   1072,   1116,   1195,   1258,   1327,   1395,   1464,   1525,   1555,   1635,   1706,   1789,   1845,   1909,   1968,   1999, 
/* msg =    148, deg = 32 */     29,     89,    143,    229,    243,    251,    351,    441,    510,    556,    619,    697,    713,    800,    850,    929,   1012,   1080,   1156,   1260,   1323,   1384,   1431,   1492,   1541,   1658,   1678,   1758,   1826,   1892,   1957,   2014, 
/* msg =    149, deg = 32 */     58,    168,    231,    260,    340,    426,    465,    570,    576,    588,    657,    716,    788,    888,    898,   1002,   1064,   1144,   1177,   1248,   1315,   1374,   1418,   1493,   1577,   1608,   1669,   1755,   1804,   1862,   1935,   2044, 
/* msg =    150, deg = 32 */     61,    115,    149,    150,    176,    275,    292,    294,    460,    514,    534,    710,    831,    879,    903,    982,   1032,   1099,   1187,   1272,   1331,   1393,   1456,   1495,   1586,   1647,   1683,   1745,   1811,   1857,   1944,   2043, 
/* msg =    151, deg = 32 */     44,     94,    175,    263,    323,    366,    387,    466,    502,    525,    603,    676,    722,    810,    909,   1005,   1035,   1134,   1172,   1224,   1299,   1388,   1415,   1491,   1540,   1634,   1727,   1733,   1837,   1871,   1974,   2037, 
/* msg =    152, deg = 32 */     52,     82,    248,    252,    282,    325,    373,    413,    571,    623,    683,    704,    762,    862,    921,    984,   1037,   1127,   1209,   1259,   1296,   1366,   1450,   1499,   1579,   1656,   1700,   1773,   1810,   1875,   1961,   2025, 
/* msg =    153, deg = 32 */     17,    165,    205,    258,    271,    291,    417,    458,    492,    532,    693,    745,    791,    864,    945,   1009,   1025,   1141,   1184,   1262,   1302,   1377,   1459,   1483,   1590,   1612,   1682,   1790,   1839,   1899,   1943,   2001, 
/* msg =    154, deg = 32 */      6,     88,    109,    364,    410,    451,    501,    521,    593,    649,    708,    719,    825,    863,    930,    992,   1049,   1105,   1170,   1252,   1306,   1356,   1409,   1515,   1548,   1639,   1725,   1752,   1814,   1880,   1960,   2018, 
/* msg =    155, deg = 32 */     13,     68,    136,    189,    237,    369,    431,    455,    529,    563,    635,    690,    806,    866,    900,    962,   1065,   1114,   1205,   1264,   1282,   1365,   1446,   1512,   1595,   1650,   1696,   1751,   1831,   1917,   1941,   1991, 
/* msg =    156, deg = 32 */      9,     65,     77,    302,    305,    313,    331,    388,    620,    647,    734,    772,    792,    859,    907,    965,   1034,   1100,   1208,   1240,   1330,   1383,   1451,   1518,   1558,   1624,   1690,   1737,   1798,   1908,   1964,   1998, 
/* msg =    157, deg = 32 */     20,    133,    192,    239,    288,    380,    386,    407,    464,    493,    553,    686,    738,    807,    874,    917,    971,   1039,   1120,   1186,   1227,   1297,   1457,   1506,   1551,   1615,   1709,   1781,   1799,   1894,   1949,   2012, 
/* msg =    158, deg = 32 */     43,     95,    108,    337,    437,    503,    560,    605,    641,    703,    729,    794,    843,    937,    983,   1029,   1147,   1152,   1174,   1261,   1300,   1357,   1413,   1530,   1597,   1633,   1664,   1742,   1797,   1858,   1980,   2040, 
/* msg =    159, deg = 32 */     62,     85,    184,    214,    287,    304,    434,    580,    611,    669,    748,    803,    842,    914,    960,   1007,   1041,   1101,   1213,   1250,   1310,   1367,   1454,   1482,   1562,   1662,   1689,   1787,   1793,   1865,   1981,   2035, 
/* msg =    160, deg = 32 */     48,    118,    161,    173,    378,    444,    488,    549,    604,    666,    709,    786,    840,    935,    988,   1024,   1081,   1122,   1192,   1276,   1290,   1379,   1467,   1513,   1559,   1600,   1707,   1746,   1801,   1887,   1983,   2021, 
/* msg =    161, deg = 32 */     36,    190,    241,    284,    349,    352,    509,    513,    552,    609,    660,    724,    819,    844,    896,    910,   1017,   1066,   1151,   1154,   1314,   1352,   1425,   1516,   1549,   1663,   1676,   1731,   1817,   1907,   1979,   1993, 
/* msg =    162, deg = 32 */      5,    180,    195,    212,    232,    269,    316,    408,    471,    562,    600,    758,    818,    836,    927,   1008,   1036,   1093,   1173,   1275,   1329,   1373,   1414,   1510,   1593,   1602,   1665,   1761,   1849,   1896,   1971,   2002, 
/* msg =    163, deg = 32 */     18,    105,    154,    235,    249,    272,    424,    427,    518,    617,    688,    753,    816,    852,    957,    994,   1027,   1138,   1211,   1230,   1303,   1399,   1448,   1522,   1554,   1659,   1691,   1766,   1850,   1886,   1955,   2020, 
/* msg =    164, deg = 32 */     33,    147,    156,    207,    293,    382,    398,    494,    557,    577,    643,    767,    820,    884,    954,    966,   1053,   1119,   1188,   1255,   1304,   1376,   1463,   1498,   1543,   1610,   1711,   1768,   1852,   1905,   1923,   1995, 
/* msg =    165, deg = 32 */     15,    106,    138,    157,    341,    390,    391,    497,    568,    585,    678,    739,    828,    887,    948,    973,   1057,   1094,   1178,   1270,   1286,   1358,   1417,   1481,   1581,   1643,   1668,   1780,   1840,   1900,   1920,   2006, 
/* msg =    166, deg = 32 */     56,    126,    134,    144,    166,    396,    405,    463,    530,    587,    687,    731,    812,    881,    936,    987,   1050,   1140,   1189,   1236,   1338,   1361,   1462,   1519,   1594,   1642,   1681,   1740,   1832,   1878,   1926,   2028, 
/* msg =    167, deg = 32 */     46,    170,    193,    199,    332,    362,    433,    496,    517,    591,    701,    744,    780,    893,    912,   1015,   1071,   1107,   1176,   1235,   1281,   1391,   1419,   1504,   1556,   1640,   1723,   1791,   1816,   1889,   1930,   2011, 
/* msg =    168, deg = 32 */     51,    122,    124,    198,    381,    442,    456,    461,    555,    583,    665,    717,    783,    869,    931,   1004,   1030,   1118,   1185,   1245,   1332,   1360,   1458,   1534,   1547,   1644,   1708,   1754,   1851,   1868,   1938,   2038, 
/* msg =    169, deg = 32 */     45,     70,     90,    213,    318,    339,    428,    500,    564,    599,    608,    658,    777,    853,    902,    986,   1047,   1092,   1168,   1217,   1309,   1389,   1411,   1474,   1589,   1636,   1666,   1747,   1854,   1877,   1954,   2031, 
/* msg =    170, deg = 32 */     57,     98,    125,    153,    295,    298,    448,    453,    522,    631,    656,    726,    773,    886,    911,   1013,   1077,   1136,   1201,   1273,   1292,   1364,   1442,   1529,   1546,   1652,   1693,   1729,   1844,   1895,   1921,   2013, 
/* msg =    171, deg = 32 */     30,    127,    171,    259,    370,    411,    484,    516,    565,    628,    680,    754,    797,    883,    925,   1000,   1074,   1115,   1200,   1226,   1326,   1381,   1443,   1484,   1591,   1620,   1699,   1765,   1824,   1856,   1924,   2042, 
/* msg =    172, deg = 32 */     23,    151,    204,    223,    308,    333,    429,    485,    626,    672,    691,    761,    813,    889,    953,    978,   1084,   1102,   1202,   1263,   1321,   1348,   1441,   1509,   1550,   1623,   1692,   1774,   1800,   1869,   1934,   2039, 
/* msg =    173, deg = 32 */     41,     99,    140,    215,    274,    368,    487,    561,    592,    638,    645,    751,    782,    877,    946,    997,   1056,   1124,   1206,   1254,   1319,   1349,   1445,   1524,   1599,   1617,   1697,   1784,   1819,   1879,   1946,   2029, 
/* msg =    174, deg = 32 */     39,     79,    162,    234,    255,    273,    415,    483,    584,    614,    682,    707,    779,    837,    932,    968,   1048,   1139,   1214,   1268,   1339,   1351,   1453,   1494,   1566,   1629,   1688,   1748,   1853,   1891,   1970,   2009, 
/* msg =    175, deg = 32 */     11,    121,    158,    250,    257,    319,    376,    421,    491,    545,    598,    695,    728,    854,    904,    977,   1067,   1117,   1198,   1232,   1283,   1347,   1469,   1489,   1567,   1605,   1705,   1743,   1842,   1864,   1953,   2034, 
/* msg =    176, deg = 32 */     32,    187,    219,    222,    290,    336,    345,    402,    507,    629,    653,    750,    789,    880,    915,    995,   1038,   1090,   1166,   1243,   1328,   1355,   1437,   1503,   1565,   1653,   1672,   1785,   1836,   1885,   1927,   2023, 
/* msg =    177, deg = 32 */     19,     66,     91,    129,    201,    296,    344,    447,    475,    546,    624,    698,    829,    895,    933,    964,   1031,   1148,   1165,   1229,   1301,   1371,   1438,   1475,   1561,   1622,   1673,   1750,   1808,   1911,   1928,   1997, 
/* msg =    178, deg = 32 */     10,    101,    194,    197,    217,    346,    422,    472,    550,    634,    663,    732,    814,    865,    906,    969,   1045,   1091,   1163,   1249,   1308,   1403,   1432,   1531,   1553,   1619,   1675,   1739,   1835,   1888,   1942,   2010, 
/* msg =    179, deg = 32 */     40,     86,    123,    220,    224,    350,    404,    478,    558,    622,    654,    742,    776,    861,    919,    979,   1073,   1150,   1159,   1274,   1294,   1400,   1428,   1480,   1537,   1625,   1679,   1777,   1822,   1870,   1962,   2036, 
/* msg =    180, deg = 32 */     24,    152,    163,    186,    228,    306,    342,    435,    574,    582,    700,    721,    775,    870,    941,    999,   1082,   1095,   1183,   1228,   1322,   1406,   1420,   1517,   1569,   1613,   1671,   1734,   1847,   1873,   1937,   2027, 
/* msg =    181, deg = 32 */     55,     84,     93,    206,    261,    268,    281,    446,    542,    597,    667,    764,    793,    851,    922,    972,   1068,   1142,   1199,   1251,   1313,   1394,   1468,   1508,   1570,   1637,   1687,   1771,   1830,   1903,   1956,   2005, 
/* msg =    182, deg = 32 */     16,    155,    230,    244,    279,    358,    450,    506,    541,    627,    662,    741,    770,    805,    890,    951,    985,   1111,   1164,   1278,   1335,   1386,   1439,   1526,   1572,   1654,   1719,   1778,   1796,   1872,   1933,   2026, 
/* msg =    183, deg = 32 */     53,    114,    145,    174,    301,    357,    473,    539,    578,    636,    652,    727,    798,    875,    942,   1011,   1051,   1110,   1161,   1220,   1307,   1370,   1434,   1490,   1576,   1616,   1716,   1728,   1795,   1901,   1948,   2007, 
/* msg =    184, deg = 32 */     38,     96,    112,    218,    240,    355,    416,    443,    476,    535,    610,    696,    752,    811,    841,    924,    996,   1069,   1108,   1155,   1267,   1401,   1424,   1497,   1584,   1631,   1714,   1767,   1805,   1876,   1982,   2030, 
/* msg =    185, deg = 32 */     63,     76,    174,    251,    324,    329,    376,    414,    479,    549,    582,    687,    734,    869,    943,    983,   1060,   1091,   1199,   1250,   1312,   1372,   1457,   1481,   1596,   1648,   1718,   1760,   1813,   1896,   1943,   2033, 
/* msg =    186, deg = 32 */     24,    157,    203,    247,    284,    285,    370,    512,    520,    561,    612,    688,    756,    798,    954,   1006,   1085,   1093,   1201,   1272,   1293,   1402,   1455,   1492,   1556,   1633,   1724,   1738,   1799,   1888,   1970,   2041, 
/* msg =    187, deg = 32 */     45,    105,    132,    212,    321,    332,    375,    447,    502,    571,    629,    670,    737,    883,    913,    979,   1040,   1094,   1214,   1269,   1338,   1385,   1440,   1531,   1536,   1608,   1721,   1759,   1806,   1892,   1921,   2045, 
/* msg =    188, deg = 32 */     41,    100,    240,    340,    384,    401,    485,    574,    584,    604,    640,    649,    714,    791,    843,    933,   1004,   1063,   1126,   1176,   1234,   1345,   1414,   1485,   1546,   1661,   1690,   1780,   1835,   1894,   1977,   2047, 
/* msg =    189, deg = 32 */     56,     73,    165,    178,    187,    302,    356,    461,    541,    617,    675,    766,    821,    855,    959,    978,   1053,   1142,   1163,   1248,   1309,   1365,   1429,   1494,   1551,   1606,   1706,   1728,   1816,   1895,   1957,   2046, 
/* msg =    190, deg = 32 */     19,    109,    183,    211,    244,    380,    428,    473,    557,    594,    694,    705,    740,    804,    857,    946,    973,   1150,   1187,   1273,   1330,   1375,   1469,   1530,   1580,   1658,   1714,   1754,   1824,   1862,   1963,   2015, 
/* msg =    191, deg = 32 */     58,     92,    223,    326,    368,    441,    452,    467,    565,    622,    669,    745,    781,    862,    917,    995,   1071,   1146,   1207,   1236,   1284,   1370,   1449,   1516,   1564,   1636,   1726,   1751,   1852,   1911,   1964,   2030, 
/* msg =    192, deg = 32 */      3,     89,    174,    202,    269,    310,    333,    402,    500,    574,    623,    724,    794,    873,    898,   1023,   1042,   1105,   1182,   1235,   1316,   1399,   1464,   1495,   1539,   1642,   1711,   1786,   1843,   1911,   1924,   1984, 
/* msg =    193, deg = 32 */     13,     69,    206,    326,    381,    389,    390,    476,    541,    602,    683,    736,    824,    885,    920,    961,   1064,   1089,   1165,   1249,   1337,   1379,   1451,   1484,   1542,   1617,   1695,   1742,   1792,   1910,   1944,   1985, 
/* msg =    194, deg = 32 */      8,    133,    148,    157,    245,    261,    366,    444,    487,    571,    582,    662,    767,    797,    849,    950,   1061,   1137,   1208,   1268,   1310,   1375,   1438,   1505,   1545,   1631,   1676,   1745,   1814,   1909,   1980,   1986, 
/* msg =    195, deg = 32 */      0,    138,    184,    194,    296,    306,    394,    397,    564,    638,    640,    687,    788,    858,    937,    962,   1087,   1106,   1169,   1246,   1299,   1380,   1463,   1528,   1559,   1603,   1706,   1775,   1850,   1907,   1975,   1988, 
/* msg =    196, deg = 32 */      9,    106,    197,    242,    327,    386,    428,    507,    520,    554,    589,    670,    766,    774,    844,    919,    966,   1035,   1111,   1225,   1289,   1361,   1446,   1482,   1579,   1659,   1701,   1744,   1825,   1919,   1953,   1992, 
/* msg =    197, deg = 32 */     15,     65,    100,    345,    429,    490,    529,    534,    616,    703,    707,    802,    864,    936,    974,   1056,   1088,   1117,   1186,   1255,   1341,   1400,   1412,   1517,   1552,   1608,   1723,   1773,   1815,   1895,   1933,   2000, 
/* msg =    198, deg = 32 */     35,     87,    158,    224,    283,    357,    431,    557,    609,    672,    702,    762,    809,    891,    917,    990,   1077,   1097,   1189,   1272,   1302,   1385,   1411,   1504,   1573,   1645,   1671,   1748,   1848,   1879,   1942,   2016, 
/* msg =    199, deg = 32 */     27,     98,    114,    181,    205,    350,    427,    463,    536,    627,    700,    715,    831,    845,    940,   1022,   1055,   1121,   1195,   1222,   1283,   1355,   1421,   1530,   1548,   1636,   1724,   1765,   1829,   1908,   1952,   1987, 
/* msg =    200, deg = 32 */      2,     81,    110,    212,    282,    363,    419,    458,    561,    599,    696,    746,    787,    866,    925,   1021,   1032,   1138,   1207,   1273,   1321,   1356,   1425,   1486,   1565,   1654,   1673,   1732,   1823,   1905,   1935,   1990, 
/* msg =    201, deg = 32 */      4,    143,    176,    195,    290,    332,    435,    477,    544,    604,    688,    747,    776,    895,    956,   1019,   1062,   1108,   1167,   1220,   1342,   1346,   1449,   1509,   1599,   1618,   1696,   1733,   1832,   1915,   1938,   1996, 
/* msg =    202, deg = 32 */     29,     72,    211,    287,    317,    328,    339,    403,    485,    586,    745,    830,    833,    837,    957,   1015,   1081,   1115,   1212,   1277,   1296,   1374,   1434,   1520,   1592,   1625,   1713,   1735,   1797,   1903,   1960,   2008, 
/* msg =    203, deg = 32 */     51,     96,    109,    219,    238,    249,    301,    369,    470,    517,    614,    749,    785,    882,    959,   1007,   1031,   1093,   1177,   1228,   1295,   1382,   1471,   1498,   1590,   1615,   1683,   1731,   1820,   1863,   1951,   2032, 
/* msg =    204, deg = 32 */     48,    104,    172,    204,    220,    374,    406,    499,    523,    637,    643,    741,    780,    863,    955,    991,   1080,   1145,   1168,   1261,   1329,   1365,   1462,   1485,   1578,   1635,   1684,   1739,   1838,   1876,   1970,   2019, 
/* msg =    205, deg = 32 */      1,    165,    193,    232,    376,    410,    506,    535,    578,    587,    645,    757,    822,    838,    947,   1020,   1029,   1090,   1154,   1260,   1294,   1392,   1444,   1507,   1554,   1656,   1690,   1755,   1801,   1906,   1963,   1989, 
/* msg =    206, deg = 32 */     28,    117,    196,    251,    274,    319,    356,    488,    559,    612,    649,    656,    725,    884,    931,   1017,   1084,   1143,   1190,   1262,   1331,   1401,   1408,   1532,   1569,   1614,   1670,   1787,   1796,   1917,   1945,   1994, 
/* msg =    207, deg = 32 */      5,    130,    137,    265,    348,    400,    434,    460,    540,    633,    657,    726,    812,    851,    899,   1011,   1037,   1118,   1197,   1258,   1290,   1387,   1419,   1474,   1540,   1633,   1726,   1784,   1822,   1891,   1982,   2004, 
/* msg =    208, deg = 32 */     38,    119,    127,    198,    246,    367,    401,    455,    569,    576,    579,    673,    720,    821,    862,    999,   1068,   1103,   1211,   1250,   1339,   1359,   1437,   1533,   1549,   1660,   1677,   1790,   1834,   1887,   1971,   2024, 
/* msg =    209, deg = 32 */     55,     66,    136,    272,    294,    330,    404,    449,    465,    560,    628,    732,    775,    836,    902,    975,   1069,   1133,   1175,   1266,   1306,   1348,   1457,   1472,   1567,   1606,   1704,   1778,   1793,   1892,   1961,   2003, 
/* msg =    210, deg = 32 */     26,     95,    123,    250,    271,    318,    385,    414,    509,    546,    601,    647,    800,    880,    906,    988,   1071,   1130,   1164,   1234,   1307,   1362,   1450,   1529,   1595,   1649,   1697,   1770,   1812,   1873,   1949,   2022, 
/* msg =    211, deg = 32 */     36,    153,    178,    199,    236,    258,    278,    337,    486,    518,    653,    756,    813,    859,    914,   1018,   1067,   1124,   1210,   1233,   1305,   1406,   1436,   1480,   1584,   1628,   1715,   1754,   1854,   1912,   1974,   1999, 
/* msg =    212, deg = 32 */     50,    128,    200,    285,    329,    373,    418,    513,    525,    626,    665,    727,    823,    846,    930,   1013,   1059,   1144,   1173,   1239,   1309,   1381,   1459,   1513,   1574,   1605,   1687,   1785,   1833,   1897,   1955,   2014, 
/* msg =    213, deg = 32 */     30,     88,    112,    228,    243,    382,    433,    511,    539,    597,    689,    722,    771,    868,    897,   1003,   1075,   1160,   1216,   1243,   1301,   1363,   1454,   1512,   1546,   1655,   1692,   1788,   1799,   1867,   1929,   2044, 
/* msg =    214, deg = 32 */     59,    118,    213,    360,    396,    407,    482,    567,    600,    674,    704,    728,    808,    883,    900,    983,   1043,   1139,   1202,   1219,   1285,   1404,   1428,   1514,   1553,   1616,   1674,   1782,   1816,   1868,   1950,   2043, 
/* msg =    215, deg = 32 */     62,    152,    177,    208,    288,    295,    336,    408,    472,    556,    708,    716,    829,    861,    910,   1004,   1040,   1110,   1157,   1267,   1317,   1377,   1443,   1518,   1575,   1629,   1702,   1762,   1830,   1858,   1968,   2037, 
/* msg =    216, deg = 32 */     45,    150,    179,    223,    302,    320,    351,    495,    538,    630,    644,    651,    740,    791,    922,    985,   1046,   1119,   1192,   1232,   1318,   1371,   1422,   1510,   1544,   1607,   1725,   1738,   1817,   1886,   1967,   2025, 
/* msg =    217, deg = 32 */     53,     64,     73,    248,    253,    280,    361,    392,    442,    565,    605,    661,    759,    892,    946,   1008,   1050,   1101,   1201,   1237,   1312,   1388,   1431,   1526,   1557,   1651,   1675,   1753,   1828,   1894,   1937,   2001, 
/* msg =    218, deg = 32 */     18,    122,    191,    260,    268,    293,    300,    466,    475,    552,    681,    721,    814,    835,    929,    993,   1026,   1129,   1155,   1247,   1324,   1345,   1445,   1494,   1583,   1624,   1700,   1791,   1821,   1877,   1966,   2018, 
/* msg =    219, deg = 32 */      7,     93,    255,    256,    347,    436,    489,    530,    610,    658,    734,    769,    817,    894,    903,    963,   1074,   1122,   1188,   1227,   1332,   1368,   1410,   1493,   1560,   1613,   1721,   1776,   1836,   1904,   1939,   1991, 
/* msg =    220, deg = 32 */     14,    101,    103,    192,    237,    353,    413,    462,    549,    584,    629,    679,    783,    839,    904,    964,   1041,   1140,   1193,   1251,   1284,   1386,   1423,   1491,   1589,   1639,   1667,   1774,   1805,   1913,   1962,   1998, 
/* msg =    221, deg = 32 */     10,     77,     97,    156,    275,    304,    308,    342,    603,    654,    764,    768,    816,    886,    918,    970,   1044,   1112,   1203,   1264,   1319,   1357,   1429,   1503,   1580,   1648,   1716,   1746,   1804,   1899,   1947,   2012, 
/* msg =    222, deg = 32 */     21,    166,    239,    291,    307,    379,    384,    430,    473,    608,    671,    711,    770,    781,    855,    938,    982,   1054,   1091,   1159,   1238,   1314,   1441,   1479,   1566,   1630,   1689,   1769,   1806,   1871,   1978,   2040, 
/* msg =    223, deg = 32 */     44,    160,    215,    222,    354,    424,    425,    493,    547,    634,    701,    754,    820,    854,    913,   1006,   1034,   1141,   1196,   1241,   1320,   1370,   1418,   1527,   1593,   1601,   1664,   1756,   1802,   1860,   1979,   2035, 
/* msg =    224, deg = 32 */     63,    121,    149,    151,    180,    313,    423,    454,    581,    698,    731,    773,    852,    932,    989,   1058,   1114,   1209,   1223,   1280,   1340,   1390,   1439,   1492,   1588,   1663,   1714,   1781,   1794,   1874,   1977,   2021, 
/* msg =    225, deg = 32 */     49,    145,    170,    229,    375,    443,    448,    467,    521,    632,    692,    714,    804,    848,    909,   1016,   1073,   1095,   1171,   1275,   1300,   1349,   1461,   1489,   1582,   1600,   1685,   1764,   1810,   1918,   1981,   1993, 
/* msg =    226, deg = 32 */     37,    132,    241,    292,    378,    387,    505,    531,    648,    680,    744,    784,    805,    856,    924,   1009,   1047,   1149,   1156,   1287,   1344,   1360,   1442,   1499,   1562,   1661,   1688,   1734,   1842,   1893,   1973,   2002, 
/* msg =    227, deg = 32 */      6,    124,    182,    259,    315,    432,    494,    551,    580,    624,    705,    751,    807,    840,    958,    995,   1048,   1098,   1194,   1269,   1313,   1402,   1420,   1487,   1585,   1604,   1666,   1729,   1841,   1875,   1957,   2020, 
/* msg =    228, deg = 32 */     19,     79,     84,    235,    340,    405,    464,    524,    593,    675,    737,    803,    832,    872,    953,    967,   1030,   1127,   1205,   1244,   1326,   1389,   1427,   1511,   1572,   1653,   1718,   1743,   1847,   1916,   1925,   1995, 
/* msg =    229, deg = 32 */     34,     71,    203,    209,    221,    309,    383,    412,    479,    537,    646,    765,    811,    875,    951,    972,   1082,   1150,   1163,   1229,   1328,   1347,   1453,   1524,   1550,   1620,   1693,   1747,   1851,   1889,   1926,   2006, 
/* msg =    230, deg = 32 */     16,    257,    362,    398,    481,    514,    528,    563,    594,    655,    709,    827,    877,    939,    986,   1025,   1100,   1152,   1204,   1263,   1292,   1372,   1426,   1490,   1561,   1621,   1672,   1771,   1827,   1883,   1920,   2028, 
/* msg =    231, deg = 32 */     57,     78,    126,    142,    352,    426,    478,    548,    598,    642,    669,    758,    795,    865,    915,   1014,   1076,   1131,   1161,   1256,   1335,   1378,   1455,   1501,   1591,   1623,   1698,   1752,   1811,   1900,   1932,   2011, 
/* msg =    232, deg = 32 */     47,     76,    154,    343,    417,    420,    451,    483,    522,    606,    697,    723,    792,    889,    928,   1005,   1053,   1126,   1200,   1254,   1282,   1373,   1430,   1475,   1576,   1619,   1717,   1789,   1840,   1857,   1940,   2038, 
/* msg =    233, deg = 32 */     52,    107,    115,    210,    377,    439,    474,    533,    590,    641,    690,    730,    798,    841,    901,    987,   1036,   1148,   1153,   1274,   1323,   1376,   1447,   1535,   1558,   1627,   1691,   1780,   1845,   1880,   1956,   2031, 
/* msg =    234, deg = 32 */     46,     67,    135,    311,    358,    411,    491,    555,    622,    676,    712,    786,    874,    896,    908,   1012,   1070,   1096,   1184,   1218,   1338,   1369,   1414,   1476,   1577,   1611,   1668,   1766,   1855,   1898,   1927,   2013, 
/* msg =    235, deg = 32 */     58,    105,    125,    218,    281,    316,    344,    532,    592,    621,    706,    748,    778,    879,    926,   1001,   1065,   1123,   1185,   1265,   1304,   1384,   1415,   1521,   1556,   1643,   1722,   1730,   1835,   1869,   1922,   2042, 
/* msg =    236, deg = 32 */     31,     82,    169,    173,    359,    438,    459,    480,    553,    619,    659,    743,    826,    869,    954,    979,   1063,   1142,   1187,   1236,   1311,   1353,   1413,   1496,   1581,   1640,   1669,   1737,   1795,   1856,   1928,   2039, 
/* msg =    237, deg = 32 */     24,     85,    216,    262,    289,    346,    409,    457,    516,    615,    677,    753,    793,    881,    945,    996,   1083,   1116,   1191,   1245,   1297,   1352,   1409,   1481,   1564,   1646,   1720,   1759,   1808,   1882,   1948,   2029, 
/* msg =    238, deg = 32 */     42,     68,    147,    201,    276,    355,    461,    545,    639,    650,    733,    772,    796,    857,    935,    969,   1027,   1099,   1199,   1231,   1293,   1354,   1417,   1515,   1597,   1634,   1665,   1779,   1846,   1902,   1972,   2009, 
/* msg =    239, deg = 32 */     40,    134,    146,    161,    227,    234,    338,    446,    453,    591,    663,    710,    790,    842,    907,    976,   1072,   1125,   1215,   1259,   1333,   1358,   1433,   1516,   1596,   1658,   1712,   1768,   1849,   1861,   1959,   2034, 
/* msg =    240, deg = 32 */     12,     94,    159,    226,    286,    324,    371,    393,    469,    620,    685,    752,    876,    912,    960,    994,   1045,   1146,   1183,   1248,   1286,   1350,   1465,   1506,   1598,   1610,   1681,   1758,   1831,   1872,   1921,   2023, 
/* msg =    241, deg = 32 */     33,     74,    162,    167,    217,    279,    370,    501,    515,    617,    666,    735,    810,    867,    934,    965,   1052,   1092,   1180,   1270,   1315,   1366,   1466,   1534,   1594,   1641,   1680,   1777,   1819,   1914,   1934,   1997, 
/* msg =    242, deg = 32 */     20,     83,     91,    131,    322,    368,    388,    445,    502,    519,    611,    695,    825,    893,    905,    968,   1038,   1147,   1178,   1242,   1322,   1398,   1468,   1478,   1586,   1644,   1682,   1772,   1824,   1901,   1936,   2010, 
/* msg =    243, deg = 32 */     11,    116,    185,    225,    323,    372,    399,    450,    496,    527,    631,    686,    760,    799,    916,    978,   1066,   1094,   1174,   1217,   1336,   1397,   1456,   1525,   1570,   1638,   1686,   1750,   1813,   1859,   1964,   2036, 
/* msg =    244, deg = 32 */     41,    111,    231,    254,    263,    303,    321,    380,    508,    543,    607,    668,    719,    890,    942,    998,   1057,   1151,   1166,   1271,   1308,   1395,   1448,   1488,   1538,   1650,   1694,   1761,   1852,   1884,   1943,   2027, 
/* msg =    245, deg = 32 */     25,     92,    189,    266,    364,    421,    484,    575,    577,    588,    699,    738,    782,    847,    921,    973,   1079,   1102,   1214,   1240,   1303,   1407,   1432,   1497,   1537,   1626,   1678,   1740,   1837,   1890,   1954,   2005, 
/* msg =    246, deg = 32 */     56,     86,    108,    233,    270,    298,    447,    468,    572,    618,    694,    763,    818,    870,    948,    984,   1051,   1135,   1181,   1221,   1281,   1383,   1467,   1483,   1543,   1609,   1710,   1749,   1807,   1885,   1931,   2026, 
/* msg =    247, deg = 32 */     17,    113,    141,    190,    244,    267,    335,    395,    503,    570,    613,    684,    713,    777,    887,    941,   1010,   1134,   1176,   1279,   1325,   1367,   1470,   1519,   1547,   1647,   1709,   1767,   1800,   1888,   1946,   2007, 
/* msg =    248, deg = 32 */     54,    139,    168,    171,    183,    273,    284,    498,    566,    635,    664,    750,    828,    853,    927,    997,   1078,   1132,   1170,   1224,   1334,   1396,   1460,   1508,   1555,   1632,   1707,   1728,   1798,   1881,   1976,   2030, 
/* msg =    249, deg = 32 */     27,     65,    374,    385,    402,    470,    569,    624,    681,    718,    770,    824,    892,    935,   1012,   1049,   1144,   1152,   1213,   1251,   1311,   1401,   1443,   1511,   1540,   1643,   1720,   1776,   1842,   1870,   1934,   2007, 
/* msg =    250, deg = 32 */     43,     85,    253,    373,    422,    501,    575,    578,    639,    642,    691,    764,    771,    877,    958,    990,   1026,   1145,   1208,   1241,   1331,   1353,   1446,   1475,   1544,   1613,   1723,   1730,   1845,   1907,   1951,   2026, 
/* msg =    251, deg = 32 */     13,    171,    341,    444,    453,    572,    580,    601,    702,    706,    741,    784,    831,    836,    915,    971,   1070,   1112,   1179,   1220,   1317,   1361,   1413,   1489,   1550,   1630,   1691,   1755,   1815,   1868,   1974,   2005, 
/* msg =    252, deg = 32 */     22,     91,    138,    257,    299,    311,    433,    477,    540,    586,    665,    801,    881,    932,    992,   1080,   1088,   1129,   1195,   1259,   1326,   1373,   1461,   1496,   1549,   1654,   1675,   1782,   1798,   1906,   1923,   2027, 
/* msg =    253, deg = 32 */     35,    199,    215,    232,    333,    352,    406,    465,    524,    610,    683,    767,    814,    842,    926,    980,   1075,   1104,   1203,   1245,   1290,   1371,   1453,   1533,   1581,   1634,   1667,   1729,   1839,   1901,   1976,   2036, 
/* msg =    254, deg = 32 */     14,    135,    175,    231,    273,    279,    313,    336,    471,    630,    690,    709,    776,    886,    899,    974,   1047,   1133,   1215,   1222,   1304,   1368,   1441,   1486,   1597,   1640,   1671,   1787,   1818,   1859,   1924,   2010, 
/* msg =    255, deg = 32 */     42,    191,    196,    228,    234,    331,    445,    451,    468,    636,    671,    728,    795,    872,    940,    963,   1029,   1106,   1209,   1258,   1297,   1400,   1447,   1526,   1589,   1645,   1669,   1766,   1825,   1876,   1946,   1997, 
/* msg =    256, deg = 32 */      4,     88,    124,    183,    279,    294,    346,    491,    575,    576,    605,    744,    820,    849,    900,   1021,   1060,   1122,   1212,   1254,   1291,   1389,   1459,   1518,   1542,   1623,   1693,   1783,   1829,   1901,   1928,   1984, 
/* msg =    257, deg = 32 */     33,     80,    151,    179,    304,    362,    435,    540,    616,    641,    680,    732,    790,    845,    926,    963,   1054,   1138,   1199,   1236,   1302,   1401,   1440,   1525,   1539,   1644,   1709,   1731,   1814,   1900,   1940,   1985, 
/* msg =    258, deg = 32 */     14,    123,    233,    278,    377,    504,    512,    514,    570,    628,    661,    707,    819,    873,    944,    962,   1043,   1090,   1178,   1217,   1329,   1349,   1429,   1496,   1548,   1634,   1726,   1756,   1792,   1903,   1968,   1986, 
/* msg =    259, deg = 32 */      9,    158,    245,    270,    351,    384,    443,    461,    565,    588,    684,    765,    826,    866,    943,   1033,   1121,   1152,   1203,   1259,   1340,   1406,   1468,   1473,   1554,   1662,   1688,   1762,   1836,   1897,   1979,   1988, 
/* msg =    260, deg = 32 */      0,    180,    224,    322,    385,    410,    450,    484,    528,    555,    639,    669,    808,    884,    913,    964,   1085,   1124,   1186,   1276,   1318,   1355,   1453,   1523,   1582,   1606,   1687,   1757,   1847,   1893,   1965,   1992, 
/* msg =    261, deg = 32 */     10,    166,    185,    242,    257,    325,    334,    411,    501,    535,    602,    700,    767,    780,    856,    942,    972,   1046,   1134,   1234,   1298,   1378,   1423,   1492,   1557,   1653,   1673,   1760,   1793,   1917,   1921,   2000, 
/* msg =    262, deg = 32 */     16,     97,    138,    370,    386,    409,    471,    556,    584,    595,    701,    710,    775,    835,    915,    988,   1027,   1146,   1159,   1229,   1337,   1395,   1416,   1497,   1568,   1616,   1717,   1753,   1838,   1869,   1946,   2016, 
/* msg =    263, deg = 32 */     36,     94,    188,    254,    273,    285,    292,    413,    516,    537,    703,    759,    785,    885,    938,   1020,   1065,   1106,   1161,   1267,   1324,   1361,   1414,   1475,   1545,   1625,   1678,   1768,   1843,   1902,   1964,   1987, 
/* msg =    264, deg = 32 */     28,    105,    119,    171,    191,    380,    405,    478,    560,    613,    699,    726,    829,    858,    923,   1023,   1086,   1089,   1173,   1228,   1286,   1366,   1434,   1527,   1560,   1611,   1723,   1737,   1801,   1899,   1923,   1990, 
/* msg =    265, deg = 32 */      3,     96,    127,    280,    341,    389,    466,    545,    622,    691,    705,    727,    806,    839,    954,   1017,   1040,   1127,   1197,   1265,   1297,   1368,   1442,   1500,   1594,   1647,   1682,   1736,   1854,   1889,   1950,   1996, 
/* msg =    266, deg = 32 */      5,    112,    177,    249,    259,    321,    420,    421,    506,    515,    632,    675,    725,    893,    955,   1013,   1039,   1128,   1182,   1224,   1343,   1348,   1425,   1481,   1597,   1636,   1667,   1738,   1811,   1909,   1956,   2008, 
/* msg =    267, deg = 32 */     30,     72,    195,    265,    313,    358,    422,    457,    513,    596,    643,    721,    831,    842,    953,   1005,   1073,   1142,   1211,   1273,   1312,   1404,   1460,   1507,   1587,   1650,   1697,   1742,   1802,   1885,   1939,   2032, 
/* msg =    268, deg = 32 */     52,     93,    217,    238,    284,    353,    492,    522,    591,    729,    802,    832,    834,    871,    957,    989,   1038,   1098,   1202,   1240,   1310,   1359,   1469,   1524,   1583,   1630,   1702,   1734,   1848,   1870,   1982,   2019, 
/* msg =    269, deg = 32 */     49,    187,    214,    231,    262,    367,    428,    485,    534,    633,    646,    713,    792,    894,    949,   1022,   1075,   1137,   1184,   1241,   1313,   1386,   1455,   1498,   1559,   1605,   1704,   1750,   1823,   1896,   1959,   1989, 
/* msg =    270, deg = 32 */      2,     76,    122,    168,    371,    436,    503,    558,    580,    598,    650,    745,    815,    844,    933,   1019,   1034,   1092,   1156,   1243,   1308,   1379,   1419,   1477,   1572,   1651,   1716,   1782,   1810,   1895,   1941,   1994, 
/* msg =    271, deg = 32 */     29,    109,    198,    276,    324,    331,    467,    541,    587,    592,    658,    746,    875,    901,   1009,   1083,   1133,   1167,   1216,   1247,   1317,   1393,   1408,   1531,   1537,   1628,   1676,   1781,   1800,   1913,   1970,   2004, 
/* msg =    272, deg = 32 */      6,    130,    143,    202,    376,    423,    458,    472,    568,    625,    674,    748,    795,    870,    902,    997,   1050,   1148,   1177,   1239,   1300,   1365,   1430,   1476,   1544,   1601,   1727,   1779,   1852,   1861,   1983,   2024, 
/* msg =    273, deg = 32 */     39,    107,    155,    173,    213,    246,    310,    349,    418,    462,    561,    582,    736,    809,    892,    973,   1051,   1118,   1205,   1223,   1333,   1374,   1466,   1529,   1562,   1659,   1690,   1791,   1815,   1918,   1957,   2003, 
/* msg =    274, deg = 32 */     56,     83,    101,    148,    295,    303,    340,    482,    520,    547,    619,    760,    782,    840,    908,    990,   1049,   1113,   1198,   1255,   1332,   1352,   1441,   1472,   1598,   1612,   1683,   1767,   1794,   1867,   1937,   2022, 
/* msg =    275, deg = 32 */     27,    111,    215,    268,    311,    444,    456,    505,    519,    626,    654,    771,    867,    916,    960,   1016,   1053,   1111,   1176,   1252,   1334,   1380,   1431,   1521,   1589,   1633,   1665,   1751,   1832,   1890,   1978,   1999, 
/* msg =    276, deg = 32 */     37,    219,    236,    260,    354,    404,    451,    463,    524,    666,    706,    747,    793,    886,    932,   1015,   1045,   1099,   1207,   1250,   1330,   1407,   1464,   1488,   1571,   1656,   1701,   1780,   1855,   1907,   1967,   2014, 
/* msg =    277, deg = 32 */     51,     89,    137,    305,    328,    361,    391,    538,    615,    648,    690,    750,    813,    860,    903,   1001,   1029,   1139,   1194,   1262,   1338,   1353,   1445,   1489,   1551,   1610,   1710,   1777,   1809,   1873,   1925,   2044, 
/* msg =    278, deg = 32 */     31,    129,    136,    243,    255,    266,    383,    417,    509,    566,    618,    673,    740,    774,    843,    898,    981,   1061,   1168,   1270,   1322,   1382,   1439,   1491,   1556,   1645,   1720,   1787,   1806,   1878,   1938,   2043, 
/* msg =    279, deg = 32 */     60,     73,    145,    339,    430,    455,    557,    624,    642,    647,    752,    787,    869,    896,    904,   1006,   1062,   1125,   1191,   1222,   1290,   1403,   1448,   1495,   1570,   1632,   1684,   1775,   1840,   1880,   1980,   2037, 
/* msg =    280, deg = 32 */     63,    167,    184,    206,    291,    316,    432,    496,    539,    577,    728,    769,    825,    890,    924,    987,   1056,   1132,   1162,   1253,   1289,   1345,   1413,   1503,   1549,   1658,   1679,   1735,   1807,   1860,   1955,   2025, 
/* msg =    281, deg = 32 */     46,     85,     99,    264,    275,    336,    382,    477,    564,    623,    662,    715,    814,    836,    948,   1010,   1068,   1150,   1171,   1248,   1295,   1398,   1436,   1487,   1552,   1614,   1721,   1748,   1842,   1916,   1949,   2001, 
/* msg =    282, deg = 32 */     54,    110,    128,    248,    251,    312,    332,    337,    439,    553,    634,    682,    749,    891,    935,    995,   1076,   1114,   1185,   1258,   1283,   1371,   1454,   1519,   1578,   1637,   1686,   1778,   1803,   1871,   1954,   2018, 
/* msg =    283, deg = 32 */     19,    115,    118,    172,    274,    298,    309,    502,    531,    644,    657,    738,    799,    838,    897,    961,   1028,   1105,   1158,   1278,   1307,   1346,   1417,   1516,   1565,   1648,   1675,   1789,   1850,   1898,   1951,   1991, 
/* msg =    284, deg = 32 */      8,    108,    134,    250,    374,    427,    465,    548,    583,    672,    676,    764,    801,    895,    910,    966,   1063,   1095,   1163,   1238,   1323,   1392,   1412,   1514,   1584,   1626,   1713,   1763,   1819,   1891,   1958,   1998, 
/* msg =    285, deg = 32 */     15,     87,    116,    120,    161,    237,    442,    476,    521,    617,    653,    770,    798,    846,    912,    968,   1058,   1131,   1169,   1221,   1288,   1367,   1438,   1510,   1577,   1613,   1670,   1759,   1818,   1905,   1943,   2012, 
/* msg =    286, deg = 32 */     11,     77,    194,    221,    289,    364,    408,    454,    630,    668,    763,    803,    879,    940,    980,   1064,   1088,   1136,   1189,   1251,   1293,   1370,   1450,   1534,   1563,   1635,   1707,   1764,   1816,   1877,   1974,   2040, 
/* msg =    287, deg = 32 */     22,    141,    142,    239,    258,    293,    373,    415,    498,    546,    702,    712,    718,    794,    878,    919,   1004,   1084,   1094,   1166,   1260,   1287,   1409,   1486,   1596,   1660,   1714,   1745,   1820,   1886,   1975,   2035, 
/* msg =    288, deg = 32 */     45,     68,    162,    326,    327,    401,    464,    473,    517,    631,    697,    743,    811,    876,    930,    991,   1044,   1129,   1179,   1266,   1299,   1396,   1428,   1517,   1585,   1602,   1664,   1784,   1812,   1864,   1973,   2021, 
/* msg =    289, deg = 32 */      1,    152,    175,    182,    216,    226,    308,    397,    460,    586,    695,    758,    778,    872,    907,   1018,   1031,   1140,   1201,   1230,   1339,   1375,   1470,   1512,   1579,   1661,   1703,   1769,   1796,   1892,   1969,   1993, 
/* msg =    290, deg = 32 */     50,    139,    154,    218,    228,    365,    437,    486,    530,    627,    683,    724,    779,    864,    922,   1011,   1057,   1102,   1190,   1269,   1320,   1354,   1449,   1506,   1567,   1600,   1706,   1739,   1828,   1919,   1977,   2002, 
/* msg =    291, deg = 32 */     38,    211,    241,    269,    288,    302,    375,    497,    544,    550,    656,    659,    723,    777,    880,    952,    993,   1070,   1145,   1160,   1294,   1376,   1415,   1526,   1588,   1657,   1712,   1740,   1831,   1865,   1961,   2020, 
/* msg =    292, deg = 32 */      7,     82,    121,    204,    210,    271,    317,    419,    479,    525,    611,    733,    781,    848,    959,    965,   1072,   1108,   1175,   1257,   1281,   1399,   1432,   1502,   1569,   1608,   1668,   1730,   1825,   1894,   1929,   1995, 
/* msg =    293, deg = 32 */     20,     86,    146,    230,    235,    296,    360,    426,    536,    608,    610,    645,    773,    851,    945,    974,   1036,   1101,   1193,   1272,   1311,   1369,   1446,   1485,   1547,   1641,   1711,   1758,   1837,   1915,   1930,   2006, 
/* msg =    294, deg = 32 */     35,     65,    197,    261,    314,    381,    440,    510,    562,    640,    652,    761,    789,    853,    941,    984,   1079,   1151,   1174,   1242,   1315,   1350,   1433,   1515,   1564,   1640,   1722,   1766,   1845,   1857,   1932,   2028, 
/* msg =    295, deg = 32 */     17,    140,    159,    222,    282,    343,    412,    549,    612,    670,    708,    714,    821,    857,    917,   1012,   1026,   1112,   1195,   1245,   1304,   1400,   1444,   1508,   1586,   1642,   1680,   1749,   1797,   1910,   1920,   2011, 
/* msg =    296, deg = 32 */     58,    126,    132,    196,    200,    323,    407,    508,    523,    620,    698,    751,    822,    833,    934,   1007,   1067,   1109,   1170,   1235,   1325,   1351,   1437,   1530,   1581,   1646,   1671,   1776,   1830,   1883,   1944,   2038, 
/* msg =    297, deg = 32 */     48,     66,     79,    256,    300,    366,    390,    453,    532,    636,    689,    742,    816,    881,    899,    985,   1082,   1103,   1187,   1231,   1284,   1402,   1452,   1478,   1555,   1638,   1705,   1785,   1827,   1858,   1960,   2031, 
/* msg =    298, deg = 32 */     44,     87,    197,    221,    272,    287,    301,    500,    633,    680,    759,    768,    819,    871,    922,    996,   1036,   1132,   1210,   1276,   1332,   1384,   1444,   1514,   1585,   1614,   1668,   1737,   1821,   1918,   1941,   2023, 
/* msg =    299, deg = 32 */     26,     67,    152,    181,    296,    323,    363,    423,    448,    484,    515,    602,    658,    807,    897,    982,   1065,   1139,   1178,   1271,   1287,   1376,   1412,   1508,   1587,   1662,   1701,   1791,   1795,   1899,   1971,   2034, 
/* msg =    300, deg = 32 */     33,    119,    122,    128,    154,    346,    413,    492,    546,    618,    655,    730,    813,    850,    941,    975,   1050,   1117,   1162,   1235,   1343,   1380,   1428,   1507,   1586,   1638,   1684,   1764,   1804,   1856,   1952,   2009, 
/* msg =    301, deg = 32 */     60,     86,    125,    148,    156,    209,    317,    355,    488,    531,    626,    758,    808,    890,    955,    994,   1058,   1098,   1154,   1217,   1315,   1382,   1436,   1473,   1555,   1642,   1709,   1736,   1834,   1908,   1928,   2029, 
/* msg =    302, deg = 32 */     48,     96,    328,    350,    431,    458,    490,    544,    554,    638,    662,    736,    779,    878,    944,    981,   1086,   1120,   1158,   1224,   1325,   1383,   1432,   1488,   1570,   1644,   1680,   1758,   1849,   1902,   1948,   2039, 
/* msg =    303, deg = 32 */     54,     80,    189,    206,    353,    409,    464,    491,    535,    632,    653,    747,    827,    868,    916,   1007,   1072,   1141,   1156,   1261,   1322,   1350,   1434,   1529,   1563,   1647,   1711,   1749,   1809,   1891,   1942,   2042, 
/* msg =    304, deg = 32 */     49,     83,    146,    250,    274,    281,    351,    514,    552,    635,    673,    719,    803,    865,    902,   1010,   1079,   1118,   1157,   1246,   1288,   1399,   1435,   1484,   1574,   1615,   1681,   1777,   1797,   1860,   1939,   2013, 
/* msg =    305, deg = 32 */     59,    126,    137,    198,    269,    320,    430,    507,    513,    534,    603,    695,    733,    815,    911,    989,   1045,   1130,   1188,   1254,   1305,   1358,   1466,   1527,   1561,   1631,   1678,   1763,   1807,   1910,   1968,   2031, 
/* msg =    306, deg = 32 */     18,     70,    147,    162,    280,    366,    440,    521,    587,    700,    724,    769,    809,    882,    938,   1003,   1028,   1136,   1173,   1274,   1328,   1395,   1419,   1483,   1575,   1623,   1696,   1770,   1802,   1903,   1920,   2038, 
/* msg =    307, deg = 32 */     36,     97,    185,    224,    270,    377,    435,    511,    551,    579,    664,    753,    810,    874,    921,   1008,   1069,   1149,   1196,   1268,   1285,   1356,   1458,   1493,   1592,   1619,   1719,   1743,   1833,   1858,   1944,   2011, 
/* msg =    308, deg = 32 */     21,    205,    235,    263,    267,    322,    339,    407,    560,    583,    650,    712,    778,    870,    929,    988,   1048,   1114,   1169,   1267,   1342,   1394,   1423,   1498,   1558,   1617,   1693,   1788,   1817,   1909,   1940,   2028, 
/* msg =    309, deg = 32 */      8,     64,    186,    226,    262,    268,    389,    510,    538,    581,    643,    762,    794,    864,    957,    970,   1059,   1128,   1198,   1233,   1282,   1389,   1456,   1532,   1537,   1616,   1672,   1732,   1793,   1871,   1938,   2006, 
/* msg =    310, deg = 32 */     39,    124,    195,    241,    249,    275,    291,    365,    481,    527,    592,    678,    742,    786,    867,    947,    961,   1055,   1137,   1168,   1308,   1347,   1422,   1519,   1579,   1649,   1699,   1752,   1805,   1874,   1937,   1995, 
/* msg =    311, deg = 32 */     51,     79,    104,    207,    266,    345,    425,    463,    548,    613,    661,    744,    790,    835,    948,    997,   1025,   1116,   1167,   1257,   1299,   1364,   1425,   1479,   1598,   1600,   1687,   1750,   1803,   1917,   1969,   2020, 
/* msg =    312, deg = 32 */      2,     90,    179,    220,    271,    289,    410,    472,    577,    596,    685,    751,    788,    851,    918,   1015,   1038,   1131,   1185,   1244,   1333,   1406,   1471,   1491,   1557,   1657,   1677,   1745,   1800,   1867,   1953,   2002, 
/* msg =    313, deg = 32 */     46,    103,    123,    227,    334,    418,    498,    522,    608,    621,    689,    717,    789,    859,    903,   1022,   1064,   1105,   1206,   1255,   1318,   1387,   1448,   1497,   1569,   1604,   1664,   1779,   1832,   1872,   1961,   1993, 
/* msg =    314, deg = 32 */     23,    117,    200,    239,    260,    309,    361,    400,    446,    487,    519,    703,    732,    820,    863,    942,    987,   1083,   1100,   1180,   1243,   1294,   1410,   1500,   1595,   1659,   1703,   1762,   1848,   1916,   1965,   2021, 
/* msg =    315, deg = 32 */     12,     77,    261,    290,    347,    386,    432,    450,    460,    623,    696,    757,    773,    861,    923,   1000,   1043,   1123,   1161,   1221,   1306,   1396,   1431,   1535,   1590,   1605,   1685,   1739,   1840,   1898,   1967,   2035, 
/* msg =    316, deg = 32 */     16,    114,    141,    176,    188,    229,    237,    439,    504,    530,    593,    666,    828,    860,    928,    976,   1031,   1109,   1186,   1226,   1296,   1390,   1468,   1487,   1553,   1626,   1676,   1790,   1844,   1889,   1966,   2040, 
/* msg =    317, deg = 32 */      9,     78,    160,    319,    367,    405,    482,    516,    523,    590,    651,    763,    893,    924,    960,    972,   1037,   1102,   1174,   1260,   1301,   1379,   1416,   1495,   1571,   1652,   1697,   1733,   1846,   1861,   1935,   2012, 
/* msg =    318, deg = 32 */     20,    145,    208,    214,    264,    276,    314,    344,    495,    550,    674,    711,    830,    844,    898,    962,   1032,   1122,   1164,   1279,   1334,   1348,   1426,   1499,   1594,   1635,   1686,   1785,   1847,   1879,   1982,   1998, 
/* msg =    319, deg = 32 */     55,     89,    127,    248,    283,    307,    354,    420,    429,    631,    663,    729,    885,    909,    965,   1067,   1140,   1153,   1216,   1239,   1286,   1398,   1439,   1501,   1559,   1609,   1708,   1767,   1814,   1886,   1927,   1991, 
/* msg =    320, deg = 32 */      5,    164,    210,    213,    255,    295,    372,    395,    469,    573,    634,    723,    811,    866,    904,   1017,   1035,   1095,   1211,   1231,   1302,   1369,   1445,   1503,   1548,   1646,   1722,   1773,   1801,   1881,   1936,   1984, 
/* msg =    321, deg = 32 */     25,     81,    168,    177,    218,    219,    412,    509,    542,    591,    686,    743,    777,    894,    914,    967,   1073,   1111,   1192,   1277,   1291,   1357,   1462,   1476,   1545,   1621,   1674,   1753,   1850,   1880,   1932,   1985, 
/* msg =    322, deg = 32 */     34,     99,    193,    216,    343,    421,    424,    454,    568,    595,    659,    760,    812,    858,    956,    966,   1084,   1127,   1181,   1256,   1324,   1393,   1411,   1513,   1542,   1627,   1689,   1734,   1836,   1883,   1960,   1986, 
/* msg =    323, deg = 32 */     15,     98,    111,    163,    369,    404,    499,    567,    619,    682,    708,    710,    805,    849,    931,    964,   1062,   1092,   1204,   1218,   1313,   1354,   1450,   1520,   1560,   1607,   1727,   1784,   1792,   1885,   1955,   1988, 
/* msg =    324, deg = 32 */     10,     94,    222,    245,    258,    382,    416,    437,    474,    553,    600,    667,    761,    823,    839,    925,   1042,   1089,   1189,   1237,   1339,   1407,   1467,   1474,   1572,   1663,   1712,   1735,   1819,   1873,   1973,   1992, 
/* msg =    325, deg = 32 */     11,    142,    153,    159,    242,    348,    392,    438,    489,    558,    628,    699,    765,    792,    880,    927,    984,   1068,   1119,   1252,   1316,   1351,   1438,   1512,   1578,   1641,   1682,   1731,   1794,   1913,   1922,   2016, 
/* msg =    326, deg = 32 */     17,    161,    166,    194,    359,    434,    494,    528,    539,    614,    697,    716,    782,    838,    934,   1016,   1030,   1143,   1166,   1242,   1329,   1381,   1424,   1522,   1539,   1632,   1705,   1778,   1823,   1882,   1972,   1987, 
/* msg =    327, deg = 32 */     37,     69,    150,    252,    288,    305,    338,    442,    480,    562,    701,    749,    802,    873,    919,   1019,   1041,   1124,   1170,   1253,   1307,   1378,   1420,   1478,   1554,   1650,   1692,   1747,   1829,   1887,   1947,   1990, 
/* msg =    328, deg = 32 */     29,     84,    155,    169,    172,    379,    426,    508,    547,    585,    693,    748,    825,    884,    950,   1021,   1087,   1090,   1194,   1240,   1292,   1388,   1460,   1517,   1584,   1622,   1717,   1746,   1810,   1877,   1926,   1996, 
/* msg =    329, deg = 32 */      4,    173,    204,    278,    286,    312,    362,    607,    644,    677,    750,    783,    834,    846,    951,   1009,   1056,   1101,   1177,   1249,   1314,   1392,   1415,   1528,   1591,   1629,   1700,   1744,   1855,   1857,   1980,   2008, 
/* msg =    330, deg = 32 */      6,     82,    129,    184,    390,    393,    503,    518,    627,    645,    746,    800,    832,    889,    949,   1001,   1054,   1107,   1212,   1232,   1341,   1352,   1442,   1490,   1593,   1611,   1670,   1748,   1830,   1897,   1931,   2032, 
/* msg =    331, deg = 32 */     31,     72,    143,    259,    306,    308,    335,    399,    616,    646,    648,    738,    829,    852,    945,    985,   1057,   1135,   1205,   1265,   1283,   1403,   1451,   1477,   1573,   1639,   1665,   1756,   1812,   1914,   1958,   2019, 
/* msg =    332, deg = 32 */     53,    108,    120,    133,    225,    230,    238,    387,    475,    532,    606,    754,    775,    845,    953,   1018,   1052,   1108,   1191,   1264,   1340,   1374,   1465,   1515,   1565,   1660,   1679,   1740,   1843,   1884,   1983,   1989, 
/* msg =    333, deg = 32 */     50,     74,    151,    349,    396,    411,    457,    556,    625,    652,    722,    816,    895,    937,   1023,   1024,   1061,   1121,   1155,   1266,   1281,   1367,   1437,   1524,   1582,   1610,   1683,   1772,   1854,   1875,   1933,   1994, 
/* msg =    334, deg = 32 */      3,     66,    115,    121,    357,    427,    493,    543,    620,    660,    704,    721,    797,    856,    905,   1013,   1044,   1096,   1160,   1270,   1336,   1349,   1430,   1482,   1547,   1637,   1707,   1775,   1828,   1869,   1962,   2004, 
/* msg =    335, deg = 32 */     30,     93,    107,    136,    277,    297,    342,    486,    570,    598,    676,    727,    772,    853,    906,    993,   1077,   1113,   1182,   1278,   1289,   1377,   1408,   1525,   1538,   1656,   1688,   1769,   1808,   1905,   1959,   2024, 
/* msg =    336, deg = 32 */      7,    112,    130,    371,    397,    466,    496,    563,    576,    609,    647,    731,    822,    847,    908,    969,   1076,   1147,   1202,   1262,   1320,   1386,   1452,   1480,   1552,   1602,   1725,   1765,   1851,   1866,   1981,   2003, 
/* msg =    337, deg = 32 */     40,     75,    113,    170,    246,    294,    378,    391,    476,    545,    588,    707,    785,    891,    896,    986,   1078,   1148,   1193,   1230,   1321,   1404,   1463,   1521,   1588,   1653,   1716,   1789,   1838,   1919,   1929,   2022, 
/* msg =    338, deg = 32 */     57,    106,    116,    158,    316,    325,    360,    403,    455,    517,    597,    755,    796,    848,    920,   1020,   1074,   1138,   1183,   1229,   1323,   1360,   1409,   1472,   1599,   1624,   1702,   1741,   1796,   1878,   1954,   1999, 
/* msg =    339, deg = 32 */     28,     68,    102,    298,    443,    497,    526,    615,    641,    668,    720,    774,    837,    936,   1011,   1082,   1134,   1200,   1227,   1280,   1327,   1355,   1454,   1505,   1577,   1601,   1666,   1774,   1811,   1863,   1975,   2014, 
/* msg =    340, deg = 32 */     38,    118,    217,    236,    256,    303,    327,    330,    478,    536,    692,    725,    818,    879,    907,   1005,   1066,   1110,   1197,   1223,   1319,   1405,   1459,   1504,   1541,   1651,   1673,   1771,   1853,   1893,   1949,   2044, 
/* msg =    341, deg = 32 */     52,     88,    202,    265,    304,    337,    398,    564,    589,    656,    679,    735,    793,    888,    910,    977,   1034,   1125,   1175,   1247,   1335,   1362,   1417,   1506,   1566,   1620,   1695,   1761,   1826,   1890,   1930,   2043, 
/* msg =    342, deg = 32 */     32,    101,    131,    134,    243,    300,    310,    381,    394,    505,    559,    599,    715,    780,    854,    900,   1002,   1033,   1184,   1263,   1303,   1359,   1470,   1510,   1576,   1625,   1715,   1781,   1820,   1900,   1956,   2037, 
/* msg =    343, deg = 32 */     61,    110,    139,    358,    415,    462,    537,    611,    654,    739,    806,    833,    841,    912,    991,   1039,   1097,   1165,   1228,   1300,   1344,   1397,   1427,   1518,   1543,   1603,   1704,   1757,   1827,   1904,   1979,   2025, 
/* msg =    344, deg = 32 */      1,     71,    144,    180,    233,    293,    315,    419,    483,    566,    672,    752,    817,    887,    952,   1014,   1027,   1115,   1172,   1225,   1298,   1346,   1418,   1534,   1562,   1655,   1694,   1742,   1822,   1864,   1925,   2001, 
/* msg =    345, deg = 32 */     47,    149,    167,    201,    383,    408,    449,    506,    555,    605,    684,    726,    799,    840,    939,    999,   1051,   1151,   1190,   1219,   1310,   1391,   1464,   1502,   1568,   1628,   1713,   1768,   1831,   1915,   1978,   2018, 
/* msg =    346, deg = 32 */      0,    140,    182,    190,    254,    318,    436,    456,    459,    533,    637,    698,    787,    875,    930,    968,   1081,   1099,   1159,   1275,   1295,   1366,   1433,   1509,   1567,   1612,   1710,   1786,   1837,   1865,   1945,   2000, 
/* msg =    347, deg = 32 */     24,    135,    176,    178,    398,    448,    511,    527,    578,    614,    663,    754,    805,    863,    905,    994,   1081,   1130,   1172,   1279,   1316,   1383,   1435,   1474,   1573,   1643,   1669,   1773,   1821,   1868,   1926,   2017, 
/* msg =    348, deg = 32 */     61,     74,    189,    201,    342,    433,    452,    481,    551,    609,    681,    741,    797,    854,    931,    979,   1035,   1126,   1192,   1227,   1341,   1384,   1447,   1528,   1590,   1609,   1681,   1786,   1849,   1884,   1935,   2033, 
/* msg =    349, deg = 32 */     62,     67,    113,    193,    253,    319,    348,    399,    494,    563,    579,    694,    719,    883,    950,   1002,   1042,   1120,   1206,   1233,   1296,   1358,   1465,   1509,   1566,   1624,   1691,   1744,   1835,   1876,   1962,   2041, 
/* msg =    350, deg = 32 */     23,     69,     92,    147,    247,    283,    301,    345,    449,    569,    594,    664,    730,    783,    925,    983,   1087,   1123,   1209,   1244,   1319,   1373,   1462,   1482,   1546,   1649,   1694,   1733,   1826,   1872,   1945,   2045, 
/* msg =    351, deg = 32 */     44,     98,    267,    352,    378,    392,    446,    475,    572,    635,    655,    753,    776,    888,    937,   1000,   1032,   1091,   1183,   1275,   1309,   1397,   1424,   1532,   1536,   1604,   1725,   1774,   1799,   1874,   1953,   2047, 
/* msg =    352, deg = 32 */     40,    131,    133,    209,    240,    272,    425,    499,    529,    543,    590,    677,    709,    810,    868,    947,    982,   1074,   1107,   1164,   1225,   1377,   1411,   1511,   1541,   1663,   1677,   1754,   1844,   1875,   1981,   2046, 
/* msg =    353, deg = 32 */     55,    104,    164,    169,    338,    387,    487,    559,    629,    688,    704,    735,    827,    874,    958,    969,   1071,   1115,   1188,   1232,   1327,   1387,   1451,   1483,   1574,   1603,   1685,   1728,   1804,   1906,   1971,   2015, 
/* msg =    354, deg = 32 */     18,    117,    174,    212,    244,    350,    406,    493,    567,    585,    667,    722,    784,    786,    877,    921,    999,   1119,   1200,   1277,   1305,   1390,   1471,   1501,   1558,   1629,   1689,   1741,   1808,   1859,   1972,   2030, 
/* msg =    355, deg = 32 */     57,    160,    163,    263,    344,    416,    445,    488,    571,    599,    687,    757,    807,    847,    939,   1008,   1078,   1117,   1210,   1226,   1282,   1357,   1461,   1494,   1550,   1618,   1695,   1770,   1822,   1914,   1942,   2007, 
/* msg =    356, deg = 32 */     26,     71,    157,    192,    347,    393,    394,    459,    573,    600,    693,    711,    796,    862,    946,    986,   1069,   1116,   1215,   1264,   1326,   1405,   1456,   1522,   1538,   1652,   1692,   1752,   1817,   1863,   1927,   2026, 
/* msg =    357, deg = 32 */     42,    102,    223,    252,    379,    396,    403,    507,    574,    638,    696,    734,    800,    887,    927,    975,   1025,   1149,   1180,   1261,   1336,   1381,   1427,   1504,   1540,   1639,   1724,   1729,   1851,   1912,   1966,   2005, 
/* msg =    358, deg = 32 */     12,    114,    153,    190,    232,    320,    363,    414,    483,    542,    621,    671,    755,    830,    936,    996,   1047,   1100,   1196,   1218,   1331,   1385,   1443,   1513,   1543,   1615,   1708,   1772,   1834,   1862,   1947,   2027, 
/* msg =    359, deg = 32 */     21,     91,    100,    106,    318,    355,    441,    495,    526,    581,    685,    768,    817,    889,    914,    976,   1052,   1141,   1204,   1268,   1303,   1391,   1467,   1484,   1575,   1627,   1700,   1755,   1795,   1881,   1952,   2036, 
/* msg =    360, deg = 32 */     34,     95,    144,    225,    227,    359,    395,    489,    518,    593,    692,    766,    791,    837,    911,    970,   1080,   1096,   1208,   1263,   1285,   1388,   1463,   1535,   1591,   1617,   1696,   1761,   1846,   1911,   1948,   2010, 
/* msg =    361, deg = 32 */     13,     70,    150,    220,    287,    297,    357,    402,    490,    603,    665,    739,    859,    928,    967,   1066,   1143,   1214,   1219,   1280,   1292,   1356,   1457,   1479,   1599,   1620,   1698,   1788,   1805,   1888,   1922,   1997, 
/* msg =    362, deg = 32 */     41,     78,    199,    205,    229,    234,    281,    356,    447,    606,    686,    716,    812,    852,    918,    992,   1059,   1097,   1213,   1237,   1321,   1372,   1458,   1499,   1595,   1655,   1699,   1747,   1841,   1866,   1933,   2023, 
/* msg =    363, deg = 32 */     43,    103,    156,    203,    277,    286,    299,    388,    474,    637,    660,    762,    824,    882,    909,    978,   1030,   1110,   1181,   1246,   1306,   1364,   1426,   1493,   1593,   1607,   1666,   1765,   1839,   1887,   1963,   2034, 
/* msg =    364, deg = 32 */     25,     90,    149,    290,    306,    372,    434,    480,    589,    649,    737,    818,    865,    929,    971,   1024,   1077,   1144,   1165,   1274,   1314,   1360,   1410,   1490,   1592,   1631,   1715,   1790,   1824,   1908,   1976,   2009, 
/* msg =    365, deg = 32 */     32,     64,    165,    170,    181,    307,    333,    431,    470,    597,    678,    717,    823,    841,    951,    998,   1037,   1135,   1157,   1256,   1342,   1362,   1418,   1520,   1561,   1619,   1674,   1746,   1798,   1856,   1936,   2029, 
/* msg =    366, deg = 32 */     59,     84,    125,    207,    315,    330,    368,    468,    552,    601,    731,    772,    788,    861,    956,    977,   1041,   1093,   1153,   1249,   1328,   1363,   1422,   1505,   1576,   1621,   1719,   1732,   1813,   1882,   1924,   2039, 
/* msg =    367, deg = 32 */     47,     81,    329,    335,    400,    438,    469,    533,    607,    651,    720,    804,    855,    920,   1003,   1055,   1104,   1155,   1220,   1335,   1344,   1394,   1420,   1480,   1553,   1622,   1672,   1743,   1853,   1879,   1934,   2042, 
/* msg =    368, deg = 32 */     53,     75,    186,    208,    369,    424,    429,    500,    554,    604,    679,    756,    828,    850,    906,   1014,   1048,   1147,   1154,   1271,   1301,   1347,   1421,   1533,   1580,   1654,   1718,   1771,   1833,   1904,   1931,   2013, 
/* msg =    369, deg = 32 */     32,     75,    175,    214,    305,    341,    440,    456,    526,    596,    660,    718,    779,    871,    911,    992,   1039,   1113,   1206,   1226,   1291,   1405,   1424,   1531,   1568,   1622,   1719,   1760,   1803,   1878,   1930,   2017, 
/* msg =    370, deg = 32 */     23,     70,    102,    120,    164,    391,    510,    550,    595,    682,    729,    819,    878,    933,    977,   1024,   1085,   1109,   1162,   1278,   1298,   1394,   1452,   1473,   1587,   1652,   1699,   1783,   1839,   1862,   1923,   2033, 
/* msg =    371, deg = 32 */     60,     99,    186,    187,    331,    416,    441,    497,    562,    625,    693,    755,    815,    843,    944,   1000,   1060,   1107,   1172,   1252,   1343,   1364,   1458,   1500,   1563,   1637,   1705,   1757,   1853,   1870,   1958,   2041, 
/* msg =    372, deg = 32 */     61,     80,     90,    155,    252,    314,    334,    422,    471,    568,    667,    742,    801,    888,    923,    981,   1033,   1104,   1179,   1257,   1288,   1351,   1469,   1523,   1551,   1612,   1708,   1736,   1844,   1866,   1941,   2045, 
/* msg =    373, deg = 32 */     22,    140,    163,    188,    247,    264,    277,    312,    365,    573,    585,    652,    717,    806,    943,   1002,   1086,   1136,   1213,   1230,   1330,   1391,   1435,   1477,   1541,   1657,   1679,   1763,   1809,   1864,   1965,   2047, 
/* msg =    374, deg = 32 */     43,    144,    230,    297,    325,    349,    415,    492,    512,    542,    636,    678,    761,    860,    949,    980,   1028,   1120,   1198,   1276,   1327,   1403,   1416,   1502,   1536,   1602,   1727,   1751,   1826,   1865,   1969,   2046, 
/* msg =    375, deg = 32 */     39,    129,    207,    240,    299,    437,    452,    504,    558,    583,    691,    739,    789,    834,    850,    952,    971,   1049,   1128,   1158,   1253,   1393,   1440,   1522,   1571,   1662,   1703,   1741,   1818,   1896,   1983,   2015, 
/* msg =    376, deg = 32 */     12,    160,    188,    208,    383,    419,    420,    462,    559,    589,    692,    720,    796,    891,    908,    993,   1044,   1121,   1191,   1265,   1341,   1392,   1460,   1478,   1539,   1641,   1710,   1735,   1792,   1883,   1932,   2017, 
/* msg =    377, deg = 32 */     31,    107,    172,    285,    363,    385,    412,    519,    586,    650,    711,    804,    882,    934,    976,   1062,   1133,   1179,   1221,   1280,   1316,   1407,   1416,   1532,   1552,   1611,   1722,   1744,   1828,   1867,   1925,   2033, 
/* msg =    378, deg = 32 */     22,    111,    159,    183,    262,    353,    418,    479,    531,    616,    661,    749,    824,    855,    947,   1001,   1087,   1131,   1157,   1247,   1289,   1369,   1430,   1505,   1592,   1626,   1712,   1786,   1846,   1859,   1952,   2041, 
/* msg =    379, deg = 32 */     59,    104,    179,    210,    270,    356,    445,    505,    537,    633,    699,    760,    822,    868,    920,    980,   1042,   1128,   1162,   1234,   1342,   1354,   1433,   1486,   1580,   1651,   1717,   1775,   1855,   1863,   1939,   2045, 
/* msg =    380, deg = 32 */     60,     75,    119,    216,    254,    309,    327,    403,    490,    540,    684,    723,    817,    860,    940,   1003,   1061,   1096,   1196,   1269,   1284,   1378,   1471,   1528,   1574,   1606,   1686,   1732,   1818,   1861,   1963,   2047, 
/* msg =    381, deg = 32 */     21,     87,    233,    247,    276,    280,    375,    528,    575,    613,    644,    646,    743,    787,    950,    981,   1055,   1112,   1215,   1223,   1305,   1398,   1452,   1507,   1571,   1661,   1702,   1776,   1833,   1860,   1975,   2046, 
/* msg =    382, deg = 32 */     42,     69,    167,    324,    367,    430,    470,    520,    527,    606,    659,    765,    832,    846,    955,    970,   1026,   1104,   1175,   1246,   1334,   1404,   1412,   1487,   1536,   1601,   1726,   1770,   1809,   1893,   1977,   2015, 
/* msg =    383, deg = 32 */      6,     96,    156,    163,    245,    314,    362,    399,    473,    542,    676,    706,    735,    822,    885,    940,   1080,   1149,   1166,   1229,   1318,   1367,   1446,   1529,   1587,   1623,   1667,   1781,   1828,   1916,   1935,   2017
};
#endif

